Перечень вопросов

Раздел I. Программирование с переменными. Объекты, абстракция, переменные, диапазоны, формальный и фактический параметр, подстановка, связывание формального и фактического параметра.
1. Определение объекта (на примере ламбда-исчисления). МСВО-2004, Гл. 5, с. 137-148;
КЛП-2003, Гл. 1, с. 27-44
 
2. Конвертирование программ и данных (на примере постулатов ламбда-исчисления). Примитивная система программирования со связанными переменными. МСВО-2004, Гл. 5, с. 137-166;
КЛП-2003, Гл. 1, с. 27-44
 
Раздел II. Программирование без связанных переменных. Объекты, константные формы, комбинирование, комбинаторный код. Эквивалентные преобразования объектов и отношение конвертирования. Редукции объектов.
3. Определение объекта (на примере комбинаторной логики). МСВО-2004, Гл. 6, с. 179-188;  
4. Конвертирование программ и данных (на примере постулатов комбинаторной логики). Примитивная система программирования без связанных переменных. МСВО-2004, Гл. 6, с. 179-195;  

5. Трансляция одной примитивной системы программирования в другую (на примере связи ламбда-исчисления и комбинаторной логики).

МСВО-2004, Гл. 6, с. 195-199; Гл. 7, с. 207-214;  
Раздел III. Синтез объекта. Неподвижная точка в вычислениях. Циклические вычисления с объектами. Рекурсивные определения и их преобразования.
6. Постановка задачи синтеза нового объекта с заданными свойствами. Синтез алгоритма, реализующего объект, как вывод. МСВО-2004, Гл. 6, с. 192-195;
КЛП-2003, Гл. 2, с. 45-64
 
7. Определение неподвижной точки. Циклические вычисления с объектами. Применения. МСВО-2004, Гл. 14, с. 460-466;
КЛП-2003, Гл. 3, с. 65-74; Гл. 9, с. 123-132
 
8. Комбинатор неподвижной точки. Примеры реализаций. МСВО-2004, Гл. 14, с. 460-474;
КЛП-2003, Гл. 3, с. 65-74; Гл. 9, с. 123-132 
 
9. Исследование свойств комбинатора неподвижной точки. МСВО-2004, Гл. 14, с. 460-474;
КЛП-2003, Гл. 3, с. 65-74; Гл. 9, с. 123-132
 
10. Теорема о неподвижной точке. Применения в программировании. МСВО-2004, Гл. 14, с. 460-474;
КЛП-2003, Гл. 3, с. 65-74; Гл. 9, с. 123-132 
 
Раздел IV. Простейшая форма компилирования кода. Базисы объектов. Устранение переменных в процедуре или функции.
11. Базисы объектов. Алгоритм разложения в базисе I, K, S. Условия применимости и пример. МСВО-2004, Гл. 7, с. 213-214;
КЛП-2003, Гл. 7, с. 113-116
 
12. Алгоритм разложения в базисе I, B, C, S. Условия применимости и пример. МСВО-2004, Гл. 7, с. 213-214;
КЛП-2003, Гл. 8, с. 117-122
 
Раздел V. Типы в программе. Приписывание типов. Объекты с типами. Правильная типизация и вывод типа через уже известные типы. Правила работы с типами.
13. Исчисление объектов с типами (на примере комбинаторной логики). Правила приписывания типов (F ), (I), (K), (S). Пример использования. МСВО-2004, Гл. 16, с. 560-568;
КЛП-2003, Гл. 6, с. 93-96
 

14. Приписывание типа объектам (на примере ламбда-исчисления). Правила приписывания типов (λ), (F ). Пример использования.

МСВО-2004, Гл. 15, с. 541-543;
КЛП-2003, Гл. 6, с. 97
 
15. Приписать тип объектам I, K, S. МСВО-2004, Гл. 16, с. 560-568;
КЛП-2003, Гл. 6, с. 97-112
 
Раздел VI. Приемы кодирования информации. Символьные преобразования. Программирование эквивалентных преобразований информации и конверсии объектов. Устранение коллизий и побочных эффектов. Компилирование кода. Кодогенерация. Оптимизация кода. Экономии в вычислениях. Исполнение кода. Абстрактная машина.
16. Пример коллизии переменных. Связь с постулатами (α) и (β). МСВО-2004, Гл. 5, с. 154-156;
КЛП-2003, Гл. 19, с. 223-226; Гл. 20, с. 227-229
КАМ-2002, Гл. 1, с. 23
17. Коды де Брейна. Применения. Ликвидация коллизий. МСВО-2004, Гл. 12, с. 342-352;
КЛП-2003, Гл. 20, с. 227-229
КАМ-2002, Гл. 1, с. 20-22
18. Понятие о среде. Правила вычисления значения объекта ламбда-исчисления. МСВО-2004, Гл. 12, с. 343-359;
КЛП-2003, Гл. 20, с. 227-232
КАМ-2002, Гл. 1, с. 13-19
19. Теория вычислений. Связь с кодами де Брейна. МСВО-2004, Гл. 12, с. 359-374;
КЛП-2003, Гл. 20, с. 227-232
КАМ-2002, Гл. 1, с. 24-27
20. Теория вычислений. Определение свойств объектов S, Λ, ε. МСВО-2004, Гл. 12, с. 359-374;
КЛП-2003, Гл. 20, с. 227-232
КАМ-2002, Гл. 2, с.39-43
21. Теория вычислений в синтаксической форме. Равенства (ass), (fst), (snd), (dpair), (ac), (quote). МСВО-2004, Гл. 12, с. 359-374;
КЛП-2003, Гл. 20, с. 231
КАМ-2002, Гл. 2, с. 44-47
22. Для объекта M обосновать равенство ´M = Λ(M ° Snd). МСВО-2004, Гл. 12, с. 377-380;
КЛП-2003, Гл. 20, с. 231
КАМ-2002, Гл. 2, с. 46
23. Понятие о категориальной абстрактной машине. Кодогенерация. Вычисление значения. МСВО-2004, Гл. 12, с. 374-378;
КЛП-2003, Гл. 20, Гл. 21
КАМ-2002, Гл. 2, с. 48-50; с. 25-31
24. Цикл работы категориальной абстрактной машины. МСВО-2004, Гл. 12, с. 374-377;
КЛП-2003, Гл. 21, с. 233-240
КАМ-2002, Гл. 2, с. 50-57
25. Оптимизация кода. Правило (Beta). МСВО-2004, Гл. 12, с. 369-370;
КЛП-2003, Гл. 22, с. 243-251
КАМ-2002, Гл. 3, с. 65-67
26. Обоснование кодогенерации и КАМ-вычисления для 2-х местного оператора. МСВО-2004, Гл. 12, с. 377-380;
КЛП-2003, Гл. 21, с. 241
КАМ-2002, Гл. 3, с. 67-68
27. Обоснование вычисления свертывания. Связь постулатов (β) и правила (Beta). МСВО-2004, Гл. 12, с. 369-370; КАМ-2002, Гл. 3, с. 65-68
28. Экономии в кодировании. МСВО-2004, Гл. 12, с. 380-382; КАМ-2002, Гл. 3, с. 65-68
29. Расширение и реализация категориальной абстрактной машины. МСВО-2004, Гл. 12, с. 382-384; КАМ-2002, Гл. 4, с. 69-73
30. Схема вычисления на категориальной абстрактной машине объекта с комбинаторной характеристикой YM = M(YM). МСВО-2004, Гл. 12, с. 383; КАМ-2002, Гл. 4, с. 71-72

31. Схема вычисления на КАМ объекта, содержащего неподвижную точку. Решение при ограничении ||M|| = ||λλ.P||.

МСВО-2004, Гл. 12, с. 383-384; КАМ-2002, Гл. 4, с. 71-73
32. Стек рекурсии на КАМ. Его представление гиперграфом. МСВО-2004, Гл. 12, с. 382-386; КАМ-2002, Гл. 4, с. 71-73
33. Вычислить на КАМ 1!. Записать выражение, выполнить кодогенерацию и произвести оптимизацию кода, дать его полное табличное исполнение, указав точки рекурсивной модификации среды. МСВО-2004, Гл. 12, с. 382-385; КАМ-2002, Гл. 4, с. 73-77
34. Вычислить на КАМ 2!. Записать выражение, выполнить кодогенерацию и произвести оптимизацию кода, дать его полное табличное исполнение, указав точки рекурсивной модификации среды. МСВО-2004, Гл. 12, с. 386-387; КАМ-2002, Гл. 4, с. 77-79
35. Вычислить на КАМ 3!. Записать выражение, выполнить кодогенерацию и произвести оптимизацию кода, дать его полное табличное исполнение, указав точки рекурсивной модификации среды. МСВО-2004, Гл. 12, с. 382-387; КАМ-2002, Гл. 4, с. 73-79

Основная литература

[МСВО-2004] Вольфенгаген В.Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. -- М.:АО ``Центр ЮрИнфоР’’, 2004. - xvi+789 с.
[КАМ-2002] Вольфенгаген В.Э. Категориальная абстрактная машина. -- М.:МИФИ, 1993. 2-е изд. – М.: АО “ Центр ЮрИнфоР ”, 2002. – 96 с.
[КЛП-2003] Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. -- М.:МИФИ, 1994; 2-е изд. – М.: АО “ Центр ЮрИнфоР ”, 2003. – 336 с.