RUSSIAN

Комбинаторная логика в программировании

Book information

Language
russian
Format
PDF
Filesize
2 MB (2043510 bytes)
Pages
19\19
Library
torrents.ru tech collections 2009-11-14
Time added
2010-02-18 13:16:04

Description

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

Similar books