Издательство: | АСТ |
Дата выхода: | декабрь 2008 |
ISBN: | 978-5-91329-013-7 |
Тираж: | 3 000 экземпляров |
Объём: | 384 страниц |
Масса: | 358 г |
Размеры(В x Ш x Т), см: | 22 x 15 x 2 |
Обложка: | мягкая |
Изложен основной круг задач, сводимых к исчислению объектов — "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых задач.
В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями.
Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования.
Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".
2008, декабрь: книга на бумаге "Комбинаторная логика в прграммировании", ISBN: 978-5-91329-013-7, издательство "АСТ", 384 стр., мягкая обложка, тираж 3000 экземпляров |
Нет в продаже
0 отзывов |
|
2004, июль: книга на бумаге "Логика", ISBN: 5-89158-135-3, издательство "ЮрИнфоР", 229 стр., тираж 2000 экземпляров |
Нет в продаже
0 отзывов |
|
2002, декабрь: книга на бумаге "Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах", ISBN: 5-89158-101-9, издательство "ЮрИнфоР", 342 стр., твёрдая обложка, тираж 1200 экземпляров |
Нет в продаже
0 отзывов |
|
2001, январь: книга на бумаге "Логика", ISBN: 5-89158-054-3, издательство "ЮрИнфоР", 137 стр., тираж 1000 экземпляров |
Нет в продаже
0 отзывов |