Мини-курсы по математической логике, теоретической информатике
и теории вычислимости
(Математический центр в Академгородке)
Прошедшие курсы:
Мини-курс С.Л. Кузнецова "Логические методы в языкознании" (9-11 ноября 2023 г.)
Мини-курс С.О. Сперанского "Метод элиминации кванторов и его применения" (8-11 ноября 2023 г.)
Мини-курс Н.А. Вавилова "Ограниченное порождение групп Шевалле, и вокруг" (23-26 мая 2023 г.)
Мероприятия проводятся при поддержке Математического Центра в Академгородке, соглашение № 075-15-2022-282 с Министерством науки и высшего образования Российской Федерации.