Изложен основной круг задач, сводимых к исчислению объектов - 'от простого к сложному'. Конкретный вариант исчисления выбирается в зависимости от решаемых задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и лямбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычисления, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга 'для первого чтения'.
Содержание.
Предисловие редактора серии
Special Preface
Круг вопросов
Предисловие к первому изданию
Предисловие ко второму изданию
Введение
1 Предварительные сведения
2 Синтез нового объекта
3 Неподвижная точка
4 Экстенсиональность
5 Нумералы
6 Комбинаторы с типами
7 Базис I, К, S
8 Базис I, В,С, S
9 Применения неподвижной точки Y
10 Функция list1
11 Изоморфизм д.з.к. и ABC
12 Каррирование
13 Оболочка Каруби
14 Произведение и проекции
15 Погружение Lisp в ABC
16 Суперкомбинаторы
17 "Ленивая реализация
18 Перестановка параметров
19 Непосредственные вычисления
20 Код де Брей на
21 Абстрактная машина: КАМ
22 Оптимизация КАМ-вычислений
23 Переменные объекты
Библиография
Предмет ный указатель
Глоссарий
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже
