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

Доклады:

Марковская Ирина Александровна — Порождающие тройки инволюций общей линейной группы и ее проективного образа над конечными полями.

Половинкина Анна Ильинична — Реализация алгоритма вычисления структурных констант простых алгебр Ли на языке Python. Приложения структурных констант.

Дата: 23.01.2025.

2 февраля 2025 года приёмная комиссия Института математики и фундаментальной информатики отправляется на север Красноярского края для проведения профориентационного комплекса мероприятий «Матстарт»: запланированы выезды в города Енисейск, Лесосибирск, а также в пгт. Большая Мурта. На каждой площадке запланировано проведение выездной площадки Университетской олимпиады по математике, интеллектуальной профориентационной игры MathCity, проведение презентации об институте и особенностях поступления в 2025 году, демонстрация лучших докладов шоу-конкурса "Научный микрофон ИМиФИ" последних лет.

Все мероприятия ориентированы на учащихся 9-11 классов средних общеобразовательных школ, заинтересованных в математике, информатике и IT-сфере в целом. Регистрация участников будет доступна с 23 января после согласования площадок проведения и составления их расписания.

В каждом городе авторы проекта готовы организовать работу 2-х параллельных площадок в течении дня по следующему графику:

• 03.02.2025 – г. Енисейск;
• 04.02.2024-05.02.2024 – г. Лесосибирск;
• 05.02.2024 – пгг. Б. Мурта.

Заинтересованным представителям школ и иных городских организаций в участии учащихся, а также в случае готовности предоставить площадку для проведения проекта в указанные даты или задать уточняющие вопросы, необходимо связаться с руководителем проекта: заместителем директора ИМиФИ по воспитательной работе Степаном Игоревичем Башмаковым
e-mail: sbashmakov@sfu-kras.ru

Доклады:

Нужин Яков Нифантьевич — О регулярных политопах ранга 3.

Дата: 26.12.24.

Доклады:

Нужин Яков Нифантьевич — О струнных C-группах и политопах ранга 3.

Дата: 17.10.24.

The 7th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, traditionally took place on January 14th.

What is special about January 14th?

• January 14 - New Year according to the Julian calendar;
• January 14, 1901 - the birthday of Alfred Tarski;
• January 14, 1978 - the day of the death of Kurt Gödel.

Like last years, now we again hold it in a mixed format.

• everyone could take part in full-time participation in the seminar without prior registration in room 34-17 of the Institute of Mathematics and Computer Science of the Siberian Federal University (Krasnoyarsk, Svobodny ave., 79).
• online participation was possible with pre-registration. The link to the event was available only to registered participants.

Participation was available to everyone (including junior students).

Recall that the first workshop in support of Jean-Yves Béziau's initiative to recognize January 14 as World Logic Day took place in 2019. In 2020-22 it has been held as an official even of the World Logic Day project of UNESCO through CIPSH (Conseil International de Philosophie et des Sciences Humaines):
2nd Krasnoyarsk Logical Workshop
3rd Krasnoyarsk Logical Workshop
4th Krasnoyarsk Logical Workshop
5th Krasnoyarsk Logical Workshop became international.
6th and this 7th Krasnoyarsk Logical Workshops were retained this status.

The event was supported by Department of Algebra and Mathematical Logic and Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by IM&CS Youth Center.

Applications for participation with a report was accepted until January 13, 18:00 local time (CET+6).

По итогам осеннего семестра, на текущем семинаре лауреатами за успешные и регулярные доклады признаны:
К.А. Смелых, Е.В. Брылякова и А.В. Поляков.

Силами студентов и сотрудников в ИМиФИ появилась новая входная группа — оформлена она в цветах недавно утверждённой официальной символики института и включает в себя сразу 8 досок для объявлений: левая часть предполагает размещение объявлений дирекции, правая доступна для студентов и сотрудников.

Перед Новым годом входная зона также дополнилась новой праздничной ёлочкой — в январе на её месте разместится новый баннер.

️Магистрант ИМиФИ Родион Гвоздев с докладом «Порождающие множества сопряженных инволюций групп PSL(n,9)» стал финалистом XXVIII Всероссийского научного конкурса им. Августа Мёбиуса.

Конкурс был учрежден в 1997 году для выявления лучших студенческих и аспирантских научных работ по математике и для оказания финансовой поддержки их авторам при продолжении их научной работы в России. За последние 20 лет в институте финалистами становились четверо: Степан Игоревич Башмаков, Дмитрий Юрьевич Почекутов, Юрий Валерьевич Элияшев и Владимир Маркович Леонтьев — первый выиграл, второй разделил первое-второе место с соперником из Москвы.

Напомним, что ранее Родион вошел в шорт-лист лучших молодых учёных на IV конференции математических центров России в Санкт-Петербурге.

Доклад:

Смелых К.А. - Разрешимость логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.
Поляков А.В. - Кортежная семантика для логики Alt1.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.
• Смелых К.А.