Изложен основной круг задач, сводимых к исчислению объектов -"от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и Л-исчисления. Все задачи снабжены подробными и элементарными решениями.
Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".
Дополнительные сведения:
Артикул: 1828833 |
ISBN: 978-5-91329-013-7 |
Тип переплета: в обл. |
Тираж: 3000 |
Название: Комбинаторная логика в программировании |
Автор: В. Э. Вольфенгаген |
Место издания: М. |
Издатель: ЮрИнфоР-МГУ |
Дата издания: 2008 |
Количество страниц: 384 |
Серия: Компьютерные науки и информационные технологии |
Высота, см.: 21 |
Ширина, см: 13,9 |
Толщина, см: 2,3 |
Вес в граммах: 464 |