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