|
Лекция 11: Функциональные структуры данных
|
544 |
|
Лекция 12: Деревья
|
629 |
|
Лекция 13: Деревья выражений и деревья поиска. Продолжения
|
702 |
|
Лекция 14: Введение в л-исчисление
|
645 |
|
Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
|
979 |
|
Лекция 16: Описание рекурсивных функций. Комбинаторы и комбинаторная логика
|
641 |
|
Лекция 17: От л-исчисления к языку программирования
|
578 |
|
Лекция 18: Замыкания, генераторы и отложенные вычисления
|
512 |
|
Лекция 19: Последовательности и ленивые вычисления в F#. Мемоизация
|
874 |
|
Лекция 20: Пример: реализация машины Тьюринга
|
544 |
