Курсовая работа по «Теории вычислительных процессов»

Автор работы: Пользователь скрыл имя, 30 Января 2013 в 19:35, курсовая работа

Краткое описание

В настоящее время в области доказательства правильности программ проводятся интенсивные исследования. Для простоты обсуждения выделим среди этих исследований три основных направления:
1. Методы доказательства (частичной) правильности или конечности.
2. Проблемы разработок программ и создания языков программирования.

Содержание

1. Теоретический материал 5
2. Практические задания 6
Литература 19