Подробное описание документа

Вольфенгаген В. Э.
   Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах / Вольфенгаген В. Э. ; Ин-т актуального образования "ЮрИнфоР-МГУ". - 2-е изд. - М. : Центр ЮрИнфоР, 2003. - Vi,335 с. - (Компьютерные науки и информационные технологии). - Библиогр.: с. 291-308. - ISBN 5-89158-101-9.

Изложен основной круг задач, сводимых к исчислению объектов – "от простого к сложному". Конкретный вариант исчисления выби- рается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и Л-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов, Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Ма- териал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".