Институт математики
и фундаментальной информатики СФУ

20 ноября 2022 года состоится основной тур открытой международной межвузовской олимпиады по математике «Сибирская математическая олимпиада». Олимпиада организуется Механико-математическим факультетом Новосибирского государственного университета. Спонсоры олимпиады: компания «Яндекс», Техкомпания «Huawei», Математический центр в Академгородке.

В г. Красноярске площадкой олимпиады является РНОМЦ «Красноярский математический центр» Сибирского федерального университета. Олимпиада будет проводиться 20 ноября 2022 года по адресу пр. Свободный, 79, ауд. 34-10, 34-11. Регистрация на олимпиаду откроется с 14 ноября на сайте https://smc.nsu.ru/

10-11 ноября 2022 года в Красноярском государственном университете им. В.П. Астафьева прошла XI Всероссийская с международным участием научно-методическая конференция «Информационные технологии в математике и математическом образовании», посвященная 90-летию КГПУ им. В.П. Астафьева.

С 14 по 18 ноября 2022 г. на базе Института математики им. С.Л. Соболева в г. Новосибирске прошла традиционная ежегодная конференция «Мальцевские чтения», посвященная алгебре, теории групп и математической логике.

Военный учебный центр СФУ объявил конкурсный отбор граждан РФ для обучения на военной кафедре по программам подготовки офицеров запаса.

Подробности в полной версии новости.
По всем возникающим вопросам:
Академгородок, 13А, ауд. 3-08а
Пн-чт с 9:00 до 15:00.
Тел.: 206-33-20, 206-33-28.

25 октября 2022 г. в 17.00, ауд. 34-10 ИМиФИ СФУ по приглашению Красноярского математического центра выступит известный математик и популяризатор науки Райгородский Андрей Михайлович с лекцией для студентов, аспирантов, преподавателей, научных работников и всех заинтересованных слушателей.

Андрей Михайлович расскажет о задачах на стыке экстремальной комбинаторики и теории кодирования, а также об алгебраических методах, с помощью которых эти задачи решаются. Помимо этого, будет рассказано о приложениях в комбинаторной геометрии и теории Рамсея.

Приглашаются все желающие!

Доклад:

Е.В. Брылякова - Табличное исчисление для классической логики.

Участники семинара:

• Смелых К.А.
• Башмаков С.И.
• Зверева Т.Ю.
• Мукосий А.А.

Доклад:

А.А. Мукосий - Метод фильтрации для логики Иогансона. Часть 2.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.

Доклад:

А.А. Мукосий - Метод фильтрации для логики Иогансона.

Участники семинара:

• Брылякова Е.В.
• Корнилова М.И.
• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.

Доклад:

С.И. Башмаков - Свойства отношений на множествах унификаторов.

Участники семинара:

• Брылякова Е.В.
• Корнилова М.И.
• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Боргоякова Я.А.

Доклад:

С.И. Башмаков - К задачам текущего года. Реляционная семантика, теория унификации, разрешимость.

Участники семинара:

• Брылякова Е.В.
• Корнилова М.И.
• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Боргоякова Я.А.