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

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