00:00 Начало лекции
01:21 Функциональная модель вычислений
26:01 Чистое λ-исчисление
56:12 Отношения эквивалентности на термах
Функциональное программирование (весна 2022)
Ссылка на курс на сайте CS центра compscicenter.ru/courses/func...
Ссылка на плейлист курса на KZitem • 1. Лямбда-исчисление
Негізгі бет 1. Лямбда-исчисление
Пікірлер: 19