Функциональные языки программирования 4. Рекурсия

Таймкоды: 00:00:00 - Функция предшественник 00:01:56 - Код функции на императивном яязыке программирования 00:04:32 - Придумываем переход к лямбдам 00:06:17 - Кодирование пар 00:09:30 - Пример кода функции предшественника на лямбдах 00:11:29 - Усеченное вычитание 00:13:25 - Реализация предикатов сравнения 00:15:53 - Расчёт функции fac(n) 00:20:26 - Определение примитивной рекурсии 00:23:37 - Теорема №1 о λ-представимости 00:28:53 - Определение неподвижной точки 00:30:23 - Теорема №2 о неподвижной точки 00:34:26 - Пример #1 использования теоремы №2 00:37:59 - Пример #2 - совместная рекурсия 00:42:20 - Пример #2' 00:46:15 - Комбинатор Fac 00:51:41 - Комбинатор Fib 00:55:06 - Пример вычисления частичных сумм λ-представимой функции 00:57:33 - sq(n) 01:01:25 - Идея с поисковой функцией h(n,x) 01:07:24 - Теорема о λ-представимости вычислимой функции Дата лекции: 25.02.2026 Лектор: Дашков Евгений Владимирович Оператор: Александров Олег Монтажер: Александров Олег Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZiVNrtiHgiaFT5KzQaBw22 Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_251