Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах | Вольфенгаген В. Э.

Издательство: Учебно-консультационный центр "ЮрИнфоР"
Год издания: 2003
ISBN: 5-89158-101-9

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