Выходные данные |
3 |
Лекция 0. Вступительная лекция |
4 |
Лекция 1. Классификация языков программирования |
12 |
Лекция 2. Концепция и возможности подхода .NET |
22 |
Лекция 3. Функциональный подход к программированию |
32 |
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования |
40 |
Лекция 5. Базисные типы и стандартные функции языка SML |
49 |
Лекция 6. Комбинаторная логика как формальная система |
55 |
Лекция 7. Теория типов и комбинаторная логика |
64 |
Лекция 8. Функции SML для основных комбинаторов |
76 |
Лекция 9. Синтаксис языков программирования |
79 |
Лекция 10. Семантика языков программирования |
91 |
Лекция 11. Функции для синтаксического разбора простых языковых конструкций |
102 |
Лекция 12. Рекурсивные функции и множества |
105 |
Лекция 13. Рекурсивные вычисления |
114 |
Лекция 14. Абстрактные машины и категориальная комбинаторная логика |
117 |
Лекция 15. Категориальная абстрактная машина |
126 |
Лекция 16. Оптимизация вычислений и абстрактные машины |
136 |
Лекция 17. Реализация категориальной абстрактной машины |
146 |
Список литературы |
148 |