Функциональные языки программирования 2. β-редукция, η-редукция

Таймкоды: 00:00:00 - Повторение определения λ-терм 00:05:20 - Примеры λ-терм 00:07:30 - Сокращённая запись λ-термов 00:15:30 - Стандартные обозначения λ-термов 00:19:38 - Опредления функций V() и FV() 00:27:33 - Определение комбинатора 00:28:24 - Неформального определния β-редукции 00:35:15 - Определение подстановки 00:40:19 - Определение свободного терма 00:46:16 - Важное замечание про термы 00:50:13 - Повторение про R-редукцию 00:56:55 - Формальное определение β-редукции 00:57:36 - βη-редукция 00:58:32 - Примеры редукций 01:11:39 - Лемма о ромбе 01:13:01 - Теорема Чёрча-Россера 01:13:33 - Пример использования теоремы Чёрча-Россера Дата лекции: 11.02.2026 Лектор: Дашков Евгений Владимирович Оператор: Александров Олег Монтажер: Александров Олег Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZiVNrtiHgiaFT5KzQaBw22 Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_251