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-комбинатор Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист:
Hide player controls
Hide resume playing