#матлог #учёба #спецкурс #спецсеминар

В осеннем семестре 2026 г. в Научно-образовательном центре Математического института им. В. А. Стеклова РАН (ул. Губкина, 8) будут читаться следующие курсы по математической логике и смежным темам:

✏Алгоритмические вопросы алгебры — д. ф.-м. н. И. Г. Лысенок, понедельник, 18:15, ауд. 104, первая лекция 14 сентября
✏Топосы и логика — д. ф.-м. н. В. Б. Шехтман, к. ф.-м. н. Д. С. Шамканов, вторник, 16:00, ауд. 530, первая лекция 15 сентября
✏Комбинаторика слов и переписывающие системы — асп. Т. Г. Пшеницын, к. ф.-м. н. А. Л. Таламбуца, пятница, 16:00, ауд. 430, первая лекция 18 сентября [лекции 18.09, 25.09 и 02.10 пройдут в ауд. 530]

Продолжают работу семинары:
✏Logic Online Seminar / «Теория доказательств» (рук. Л. Д. Беклемишев, С. Л. Кузнецов, С. О. Сперанский),
✏Рабочий семинар по математической логике (рук. С. Л. Кузнецов, С. О. Сперанский)
✏семинар «Геометрическая теория групп» (рук. И. Г. Лысенок, А. Л. Таламбуца).

❗В связи с ремонтом в здании Математического института возможен временный перенос занятий НОЦ в другие аудитории! Следите за информацией на страницах курсов и семинаров НОЦ.

Всем участникам (в т.ч. онлайн-участникам) просьба зарегистрироваться на соответствующих страницах курсов или семинаров. Ссылки на регистрационные формы появятся в ближайшее время. Будет возможность удалённого подключения через Контур Толк.