|
Лекция 11: Функциональные структуры данных
|
591 |
|
Лекция 12: Деревья
|
681 |
|
Лекция 13: Деревья выражений и деревья поиска. Продолжения
|
760 |
|
Лекция 14: Введение в л-исчисление
|
704 |
|
Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
|
1068 |
|
Лекция 16: Описание рекурсивных функций. Комбинаторы и комбинаторная логика
|
695 |
|
Лекция 17: От л-исчисления к языку программирования
|
612 |
|
Лекция 18: Замыкания, генераторы и отложенные вычисления
|
559 |
|
Лекция 19: Последовательности и ленивые вычисления в F#. Мемоизация
|
942 |
|
Лекция 20: Пример: реализация машины Тьюринга
|
576 |
