Теоретическое программирование - лекции
Введение
1 Спецификация программ
2 Преобразователь предикатов WP
3 Частичная и полная коррекция
4 Команды skip и abort
5 Композиция команд
6 Команда присваивания
7 Команда выбора
8 Теорема о команде выбора
9 Команда повторения
10 Теорема о цикле и его инварианте
11 Аннотирование цикла
12 Процедуры
13 Аннотирование процедур
14 Формальное определение вызова процедуры
15 Построение программ
16 Построение циклов исходя из инвариантов
17 Построение инварианта
18 Построение ограничивающей функции
19 Теорема об ограничивающей функции
20 Доказательство правильности представления данных
21 Операции (в программе)
22 Преобразование алгоритмов - ЯЛС
23 Равносильные преобразования алгоритмов
24 Программирование таблиц решений
25 Полнота таблицы решений