Название: Доказательство правильности программ - Конспект лекций (Веретельникова Е.Л.)

Жанр: Экономика

Просмотров: 922


Содержание

Читать: Глава 1.  математическая индукция
Читать: 1.1. принцип простой индукции
Читать: 1.2. принцип модифицированной простой индукции
Читать: 1.3. доказательство высказываний, относящихся
Читать:        к программам для вычислительных машин
Читать: Глава 2. доказательство правильности
Читать:                         блок-схем программ
Читать: 2.1. введение
Читать: 2.2. основные принципы доказательства
Читать: Правильности блок-схем
Читать: 2.3. дополнительные примеры доказательства
Читать:       правильности блок-схем программ
Читать: 2.4. метод индуктивных утверждений
Читать: 2.5. сокращенные доказательства правильности
Читать: Глава 3. доказательство правильности программ, написанных на обычных языках программирования
Читать: 3.1. введение
Читать: 3.2. примеры доказательства правильности программ
Читать: На фортране
Читать: 3.3. примеры доказательства правильности программ
Читать: 3.4. особенности доказательства правильности программ, написанных на языках программирования visual basic и си
Читать: 3.5. доказательство правильности
Читать: Как часть процесса программирования