Автор работы: Пользователь скрыл имя, 30 Января 2013 в 19:35, курсовая работа
В настоящее время в области доказательства правильности программ проводятся интенсивные исследования. Для простоты обсуждения выделим среди этих исследований три основных направления:
1. Методы доказательства (частичной) правильности или конечности.
2. Проблемы разработок программ и создания языков программирования.
1. Теоретический материал 5
2. Практические задания 6
Литература 19