 |
- ⒶⒸКомбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. [Djv-Fax- 2.6M] [Pdf-Fax- 5.9M] Издание 2-е. Автор: Вячеслав Эрнстович Вольфенгаген. Дизайн обложки: О.В. Мортина.
(Москва: АО «Центр ЮрИнфоР», 2003. - Институт актуального образования «ЮрИнфоР-МГУ». Кафедра перспективных компьютерных исследований и информационных технологий. Библиотека «ЮрИнфоР». Серия: «Компьютерные науки и информационные технологии». Проект: «Аппликативные Вычислительные Системы»)
Скан, OCR, обработка, формат Djv-Fax, Pdf-Fax: bga, 2018
- КРАТКОЕ СОДЕРЖАНИЕ:
Предисловие редактора серии (1).
Special Preface (3).
Круг вопросов (5).
Предисловие к первому изданию (7).
Предисловие ко второму изданию (12).
Введение (18).
1. Предварительные сведения (27).
2. Синтез нового объекта (45).
3. Неподвижная точка (65).
4. Экстенсиональность (75).
5. Нумералы (81).
6. Комбинаторы с типами (93).
7. Базис I, K, S (113).
8. Базис I, B, C, S (117).
9. Применения неподвижной точки Y (123).
10. Функциями (133).
11. Изоморфизм д.з.к. и ABC (139).
12. Каррирование (143).
13. Оболочка Каруби (149).
14. Произведение и проекции (157).
15. Погружение Lisp в ABC (163).
16. Суперкомбинаторы (171).
17. Ленивая реализация (213).
18. Перестановка параметров (217).
19. Непосредственные вычисления (223).
20. КоддеБрейна (227).
21. Абстрактная машина: КАМ (233).
22. Оптимизация КАМ-вычислений (243).
23. Переменные объекты (255).
Библиография (291).
Предметный указатель (309).
Глоссарий (313).
Практикум (329).
Диссертации (333).
ИЗ ИЗДАНИЯ: Изложен основной круг задач, сводимых к исчислению объектов - «от простого к сложному». Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и А-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга «для первого чтения». |
 |
