Математическая логика и теория алгоритмов 14. Лямбда-исчисление
00:00:00 - Что такое лямбда-исчисление?
00:02:28 - Синтаксис
00:08:33 - Синтаксические преобразования
00:21:17 - Равенство лямбда-термов
00:24:47 - Нормальная форма лямбда-терма
00:35:11 - Комбинаторы
00:45:19 - Нумералы Чёрча
01:14:23 - Рекурсивное программирование
01:20:20 - Y-комбинатор
Дата лекции: 15.05.24
Лектор: Мусатов Даниил Владимирович
Оператор: Ммаксим Карпов
Монтажёр: Иван Сиомаш
Плейлист: • Математическая логика и теория алгори...
