Теоретическое программирование

• Файл формата zip
• размером 225,07 КБ
• содержит документ формата doc

• Добавлен пользователем Vovchegg, дата добавления неизвестна
• Описание отредактировано 06.05.2009 17:23

Содержат: спецификация программ, преобразователь предикатов WP (wp(S,R)), команды skip и abort, композиция команд, команда присваивания, команда повторения, теорема о команде выбора, команда выбора, процедуры, преобразование алгоритмов, правильность представления данных, построение программ.