Лекции по СЕП (зима 2018 г.)

1. Увод. Неформално описание на операционната семантика. Денотационна семантика върху частични функции
2. Области на Скот. Конструкции - плоска област, декартово произведение. Монотонни изображения, непрекъснати изображения
3. Непрекъснати изображения за стабилизиращи се редици. Теорема на Клини. Най-малки решения на системи от уравнения
4. Характеризация на непрекъснатите изображения върху алгебрични области на Скот. Примери при изображения в частичните функции
5. Точните изображения формират област на Скот. Непрекъснат оператор, който връща точното ограничение. Функция на няколко аргумента е непрекъсната точно тогава, когато е непрекъсната по всеки аргумент поотделно.
6. Термове. Стойност на терм. Лема за замяната. Термални оператори
7. Непрекъснатост на термалните оператори. Денотационна семантика с предаване на параметрите по име
8. Денотационна семантика с предаване на параметрите по стойност. Сравнение на двете семантики
9. -- няма лекция --
10. Операционна семантика с предаване на параметрите по име. Операционната по име се включва се денотационната по име
11. Денотационната по име се включва в операционната по име
12. Операционна семантика с предаване на параметрите по стойност. Сравнение с денотационната семантика по стойност
13. Непрекъснати свойства. Правило на Скот. Примери
14. -- няма лекция --