|
Лекция 11: Функциональные структуры данных
|
575 |
|
Лекция 12: Деревья
|
664 |
|
Лекция 13: Деревья выражений и деревья поиска. Продолжения
|
745 |
|
Лекция 14: Введение в л-исчисление
|
693 |
|
Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
|
1039 |
|
Лекция 16: Описание рекурсивных функций. Комбинаторы и комбинаторная логика
|
679 |
|
Лекция 17: От л-исчисления к языку программирования
|
597 |
|
Лекция 18: Замыкания, генераторы и отложенные вычисления
|
543 |
|
Лекция 19: Последовательности и ленивые вычисления в F#. Мемоизация
|
923 |
|
Лекция 20: Пример: реализация машины Тьюринга
|
569 |
