RUS  ENG
Полная версия
СЕМИНАРЫ

Курс С. Л. Кузнецова и С. О. Сперанского "Теория вычислимости и лямбда-исчисление"
25 февраля 2026 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)


Лекция 3. Теория вычислимости и лямбда-исчисление

С. Л. Кузнецов, С. О. Сперанский




© МИАН, 2026