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

Таймкоды: 0:00 - Арифметика в лямбда-исчислении. Нумералы Чёрча 05:15 - Операции. Инкремент 11:00 - Сложение 22:15 - Умножение 30:40 - Возведение в степень 33:30 - Вычитание 34:55 - Декремент 46:23 - "Трюк Клини" 01:02:05 - Рекурсивное программирование в лямбда-исчислении 01:09:15 - Y-комбинатор, комбинатор неподвижной точки Дата лекции: 7.05.2025 Лектор: Мусатов Даниил Владимирович Оператор: Николай Зуев Монтажёр: Алексей Чегодаев Плейлист: https://youtube.com/playlist?list=PL4_hYwCyhAvanereHN4Hg6mOhn7ifWvwN&si=9gtrYMVqYrHbQmJt