УДК 004.432.42
ББК 22.183.492
Ш 427
Шелехов В. И. Предикатное программирование: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2009. 109 с.
ISBN 978-5-94356-878-7
Предназначено для студентов факультета информационных технологий и механико-математического факультета, а также всех желающих изучить формальные методы корректности программ и построения эффективных программ в парадигме предикатного программирования. Пособие включает содержание первого семестра курса «Предикатного программирование».
Издание подготовлено в рамках реализации Программы развития государственного образовательного учреждения высшего профессионального образования «Новосибирский государственный университет» на 2009–2018 годы.
© Новосибирский государственный университет, 2009
ISBN 978-5-94356-878-7 © В. И. Шелехов, 2009