Читать онлайн «Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах.»
Автор Вольфенгаген В.Э.
В. Э. Вольфенгаген
Комбинаторная
логика
в программировании
Библиотека "ЮрИнфоР"
Основана а 1994 г. Серия: Компьютерные науки и информационные
технологии
Проект: Аппликативные Вычислительные Системы
Руководитель проекта, кандидат технических наук
Л. Ю. Исмаилова
Издано к 60-летию Московского иноюенер но-физического института
Институт актуального образования
"ЮрИнфоР-МГУ"
Кафедра перспективных компьютерных исследований
и информационных технологий
В. Э. Вольфенгаген
КОМБИНАТОРНАЯ
ЛОГИКА
В ПРОГРАММИРОВАНИИ
Вычисления с объектами в примерах и задачах
Издание 2-е
Москва
[тр Юр
2003
МуФИ • АО "Центр ЮрИнфоР" • |Р>>#
RKtf 49 Q7 Библиотека "ЮрИнфоР"
ЬЬ\К 61. У I ^ ^ Основана в 1994 г. УДК 004 Серия: Компьютерные науки и информационные
В'21 технологии
Автор: д. т. н. , профессор Вольфенгаген В. Э. Комбинаторная логика в программировании. Вычисления с
объектами в примерах и задачах.
— 2-е изд. — М. : АО "Центр
ЮрИнфоР", 2003— vi+336 с. ISBN 5-89158-101-9
Изложен основной круг задач, сводимых к исчислению объектов —
"от простого к сложному". Конкретный вариант исчисления
выбирается в зависимости от решаемых вычислительных задач. В ходе
последовательного решения задач читатель овладевает
основными методами и средствами комбинаторной логики и А-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих
математические основы объектно-ориентированных вычислений,
начинающих и профессионально работающих над продвинутыми
проектами программистов. Может быть использована в курсах
дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для
самостоятельного изучения как книга "для первого чтения". ISBN 5-89,58-10. -9 © ^Д*^*™ р^Г™,
© АО Центр ЮрИнфоР , 1997-2003
Зарегистрированный патент № 50863
Государственным реестром промышленных образцов РФ 16 августа 2002 г.
