Теоретическое программирование - лекции
Теоретическое программирование: синтаксис и семантика программ
Спецификация программ на языке предикатов
Преобразователь предикатов WP
Частичная и полная коррекция в программировании
Команды skip и abort в терминах wp
Композиция команд в программировании
Команда присваивания: семантика и применение
Команда выбора в теоретическом программировании
Теорема о команде выбора If
Команда повторения и инвариант цикла
Теорема о цикле, инварианте и ограничивающей функции
Аннотирование цикла в теоретическом программировании
Процедуры и абстракция в программировании
Аннотирование процедур в программировании
Формальное определение вызова процедуры
Построение программ и доказательство правильности
Построение циклов на основе инвариантов
Построение инварианта цикла
Построение ограничивающей функции и лексикографический порядок
Теорема об ограничивающей функции
Доказательство правильности представления данных
Операции с абстрактными и конкретными данными
Преобразование алгоритмов на языке логических схем
Равносильные преобразования алгоритмов
Программирование таблиц решений
Полнота и двусмысленность таблиц решений















