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