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