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

Таймкоды: 0:00 - История и философия лямбда-исчисления 4:04 - Синтаксис 7:58 - Построение лямбда-термов 12:20 - Соглашение о скобках 17:14 - Альфа-конверсия 21:02 - Запрещенные замены 29:45 - Бетта-редукция 31:32 - Пример некорректной Бетта-редукции 34:46 - Равенство термов 36:54 - Достежимость 41:00 - Теорема Чёрча-Россера 44:00 - Следствие 46:10 - Нормальная форма 47:40 - Омега-терм 49:20 - Следствие 2 54:20 - Комбинатор и комбинатор логических значений 1:04:35 - Операции с парами Дата лекции: 30.04.2025 Лектор: Мусатов Даниил Владимирович Оператор: Алексей Чегодаев Монтажёр: Алексей Чегодаев Плейлист:   • Математическая логика и теория алгоритмов ...