|
Лекция 11: Функциональные структуры данных
|
639 |
|
Лекция 12: Деревья
|
716 |
|
Лекция 13: Деревья выражений и деревья поиска. Продолжения
|
797 |
|
Лекция 14: Введение в л-исчисление
|
744 |
|
Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
|
1125 |
|
Лекция 16: Описание рекурсивных функций. Комбинаторы и комбинаторная логика
|
726 |
|
Лекция 17: От л-исчисления к языку программирования
|
646 |
|
Лекция 18: Замыкания, генераторы и отложенные вычисления
|
594 |
|
Лекция 19: Последовательности и ленивые вычисления в F#. Мемоизация
|
979 |
|
Лекция 20: Пример: реализация машины Тьюринга
|
618 |
