Математическая логика и теория алгоритмов 14. Лямбда-исчисление

Таймкоды: 00:00:00 - Интро 00:00:05 - Лямбда-исчисление 00:05:20 - Синтаксис 00:15:25 - Свободные и связанные вхождения переменных 00:17:05 - Альфа-конверсия 00:25:00 - Бетта-редукция 00:27:17 - Примеры 00:35:55 - Равенство лямбда-термов 00:39:45 - Нормальная форма 00:42:18 - Теорема Черча-Россера (б/д) 00:49:08 - Следствие 1 (Упрощенное определение равенства) 00:51:53 - Следствие 2 (Единственность нормальной формы) 00:55:15 - Пара слов про полугруппы 00:56:28 - Доказательство следствия 2 00:59:55 - Комбинаторы 01:05:35 - Логические операции 01:12:00 - Нумералы Дата лекции: 22.04.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажёр: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_240