В.Э. Вольфенгаген. Комбинаторная логика в программировании

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

Издательство: Центр ЮрИнфоР
Год: 2003
Страниц: 336
Формат: DJVU, PDF

 

Скачать книгу (17,7 МБ):