Лекция: НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

Факультет информационных технологий

В. И. ШЕЛЕХОВ

Предикатное программирование

Учебное пособие

Новосибирск

УДК 004.432.42

ББК 22.183.492

Ш 427

Шелехов В. И. Предикатное программирование: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2009. 109 с.

ISBN 978-5-94356-878-7

Предназначено для студентов факультета информационных технологий и механико-математического факультета, а также всех желающих изучить формальные методы корректности программ и построения эффективных программ в парадигме предикатного программирования. Пособие включает содержание первого семестра курса «Предикатного программирование».

Издание подготовлено в рамках реализации Программы развития государственного образовательного учреждения высшего профессионального образования «Новосибирский государственный университет» на 2009–2018 годы.

ISBN 978-5-94356-878-7 © В. И. Шелехов, 2009

Оглавление

Введение в курс предикатного программирования… 5

1. Общее понятие программы… 6

1.1. Автоматическая вычислимость… 6

1.2. Спецификация программы… 7

1.3. Формы спецификации программы… 9

Список литературы… 10

2. Корректность программ с предикатной спецификацией… 12

2.1. Предикатная спецификация программы… 12

2.2. Логическая семантика языка программирования… 13

2.3. Модель корректности программы… 15