Лекция 7. С.Л. Кузнецов, С.О. Сперанский. Теория вычислимости и лямбда-исчисление

2026 г. НОЦ. Курс С. Л. Кузнецова и С. О. Сперанского "Теория вычислимости и лямбда-исчисление" Лекция 7. С.Л. Кузнецов, С.О. Сперанский. Теория вычислимости и лямбда-исчисление 25 марта 2026 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8) Источник: http://www.mathnet.ru/present49679 Все видео курса: https://www.mathnet.ru/conf2697 https://www.youtube.com/playlist?list=PLUbD59ZHv1GQfCxDRi8dxWcIBHmqmWplz