ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>

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

ISBN 5-89158-101-9
2003. 342 c. В721
ББК 32.97
УДК 004
Твердый переплет.
Цена 1
160
Цена 2
390
Цены действительны до
04.12.2024
Цена 1 с учетом НДС
Цена 2 с учетом почтовых расходов по РФ и НДС.
ПОЛОЖИТЬ В КОРЗИНУ
ПОЛОЖИТЬ В КОРЗИНУ
Вольфенгаген В.Э.
Изд. 2-е.

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

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


См. также

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)