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