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

СЕМИНАРЫ


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

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