Изложен основной круг задач, сводимых к исчислению объектов - ''от простого к сложному''. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга ''для первого чтения''.
Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)

Скачать книгу бесплатно (pdf, 1.95 Mb)

---

Читать «Комбинаторная логика в программировании»