Семантика на езиците за програмиране
- Автор(и): Александра Соскова, Стела Николова
- Издателство: СОФТЕХ; 2008 г.
- ISBN: 9789548495417
- Наличност: Не
- 0,00 €
Ръководството съдържа задачи върху основните раздели на курса "Семантика на езиците за програмиране", който се чете на студентите от Факултета по математика и информатика на СУ „Св. Климент Охридски“. Всеки параграф започва с подробно изложение на теоретичния материал, необходим за решаване на задачите в него, което прави книгата независима от други учебни пособия. Голяма част от задачите имат пълни решения или подробни упътвания, а останалите - отговори.
Предговор
Гл. 1. Верификация на итеративни програми
1.1. Принцип на структурната индукция в множества с фундирана наредба
1.2. Верификация на блок-схеми с един цикъл
1.3. Метод на индуктивните твърдения за доказателство на частична коректност на блок-схеми
1.4. Метод на Хоар за доказателство на частична коректност на while-програми
Гл. 2. Компактни оператори
2.1. Частични функции и операции с тях
2.2. Компактни оператори
2.3. Индукционно правило на Скот
Гл. 3. Области на Скот
3.1. Определение и примери за области на Скот
3.2. Непрекъснати изображения в области на Скот
3.3. Теорема за най-малката неподвижна точка
Гл. 4. Рекурсивни програми
4.1. Денотационна семантика на рекурсивните програми с предаване на параметрите по стойност
4.2. Денотационна семантика на рекурсивните програми с предаване на параметрите по име
4.3. Правило на Скот за доказване на свойства на рекурсивни програми
Литература
| Страници: | 172 |
| Формат: | 60х84/16 (14,5х20 см) |
| Корица: | мека |
| Език: | български |
| Издание: | ново |
| Тегло: | 0,150 кг |
| ID: | 2С32ЕАС001 |