Схема на раздела
-
Добре дошли в курса по СЕП - упражнения за 4 и 5 група! Тук ще публикуваме дати за изпити и контролни, задачите решавани на упражнения, задачи за домашно и екстра кредити.
-
Индукция - обикновена, пълна и структурна. Фундирани множества.
-
Верификация на блок-схеми с един цикъл. Метод на инвариантата
-
Верификация на блок-схеми с няколко цикъла
-
Верификация на блок-схеми с няколко цикъла - програми за масиви
-
Оператори - монотонни, компактни и непрекъснати
-
Неподвижни точки. Теорема на Кнастер-Тарски.
-
Индукционно правило на Скот за доказване на свойства на най-малките неподвижни точки на непрекъснати оператори
-
Още задачи за правило на Скот
-
Области на Скот - конструкции
-
Великден
-
Денотационна семантика с предаване на параметрите по стойност (DV)
-
Правило на Скот за доказване на свойства на DV
-
Св. Св Кирил и Методий
-
Денотационна семантика с предаване на параметрите по име (DN)
-
Правило на Скот за доказване на свойства на DN