Функциональные языки программирования 1. Введение в лямбда-исчисление

Таймкоды: 00:00:00 - Организационная часть 00:01:07 - Отличия императивного и функционального подхода 00:05:11 - Начало λ-исчисления 00:06:31 - Типы в λ-исчислении 00:08:15 - λ-абстракция 00:10:53 - Расчёт значения функции 00:12:13 - Неформальное определение β-редукции 00:15:46 - Неформальное определение η-редукции 00:18:55 - Каррирование (currying) 00:24:33 - Начало семантики редукции в неформальном духе 00:27:01 - Пример преобразования к нормальной форме 00:29:12 - Определение R-редукции 00:33:04 - Определение R-нормальной формы 00:34:07 - РТ-замыкание R-редукции 00:38:10 - Вычислительное равенство (R-равенство) 00:40:22 - Свойства системы редукций 00:44:39 - Формальное определение λ-терм 00:46:16 - Индуктивное определение Λ 00:47:49 - Определение абстракции 00:47:55 - Определение аппликации 00:49:30 - Пример выражения 00:51:39 - Правила сокращенной записи выражений 00:58:55 - Примеры λ-терм 01:01:26 - Опредления функций V() и FV() 01:04:18 - Примеры поиска V() и FV() от выражений 01:06:33 - Определение комбинатора 01:08:19 - Ситуация коллизии переменных Дата лекции: 04.02.2026 Лектор: Дашков Евгений Владимирович Оператор: Александров Олег Монтажер: Александров Олег Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZiVNrtiHgiaFT5KzQaBw22 Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_250