Семантика на езиците за програмиране

Семантика на езиците за програмиране

Автор(и): Александра Соскова, Стела Николова
Издателство: СОФТЕХ; 2008 г.
ISBN: 9789548495417
Наличност: Да
Цена: 9,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

Напиши мнение

Вашето име:


Вашият текст:

Оценка: Лош            Добър

Въведете кода в полето отдолу: