Математическая логика и теория алгоритмов 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 Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbxuVVn5QJqr1FITycr93SN