Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
🎙️ Честное слово с Игорем Липсицем
Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
Теория алгоритмов: лямбда исчисления
Математическая тревожность, нейросети, задачи тысячелетия / Андрей Коняев
О востребованности математических институтов
Непонятная лекция о лямбда-исчислении, зато с нуля.
Универсальный язык математики и физики. Семихатов и Исаев.
Математическая логика и теория алгоритмов 15. Лямбда-исчисление.
Сложность вычислений. Консультация к к/р 1