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

В СФУ подвели итоги первого стипендиального конкурса членов Студенческих научных сообществ — 21 обучающийся получил премию за высокие достижения в научно-исследовательской деятельности.

Среди лауреатов оказалась магистрант ИМиФИ, руководитель Медиаполя математиков и студентка кафедры алгебры и математической логики Елизавета Валерьевна Брылякова — неоднократный победитель студенческих конференций, докладчик прошедшей V Конференции математических центров России, автор значительного научного результата в теории унификации суперинтуиционистских логик.

Согласно правилам стипендии, всем лауреатам, членам СНС института, положена единовременная денежная премия в размере 35 000 рублей. Отметим, что в ИМиФИ Студенческое научное сообщество координируется Научно-интеллектуальной частью Молодёжного центра математиков.

В Институте математики и фундаментальной информатики впервые состоялся День математика, приуроченный к новому всероссийскому празднованию 1 декабря. Именно впервые, ведь 1 апреля мы традиционно отмечаем День математикИ и проводим связанную с ним Неделю математики.

Участниками погружения в этом году стали около 150 школьников и их родителей, студентов, сотрудников и учителей Красноярска и края. На площадке колодцев, при поддержке Т-Банка, состоялся математический диктант, научно-популярные доклады от студентов ИМиФИ Артёма Мухина, Егора Титова и Кирилла Смелых, лекция от директора ИМиФИ СФУ О.Н. Черепановой «Математика в Красноярском крае: от школьной скамьи до высшего образования» и авторская командная интеллектуальная игра «Бродилка» от активистов Научно-интеллектуальной части МЦ ИМиФИ.

Победители интеллектуальной игры «Бродилка»:
Анастасия Бураченко, Алексей Бураченко, Артур Бураченко, Иван Кирилюк, Елена Кирилюк — команда №10.

Призёры:
Вячеслав Семенов, Дмитрий Кемзоров, Вадим Быков, Ирина Скоморохов, Максим Скоморохов — команда №5;
Дарья Черникова, Любовь Тимофеева, Ярослав Антонов, Эдуард Легкун, Вячеслав Ачкасов — команда №2;
Василиса Семкина, Михаил Светличный, Кирилл Варыгин, Павел Скрынник, Иван Кормильчик — команда №7.

Победители математического диктанта:
Арсений Лихолетов, Дмитрий Немрозов, Ярослав Антонов, Вадим Балахонов, Андрей Быстрицкий, Любовь Тимофеева, Анатолий Септа, Иван Рептюх, Артур Бураченко и Иван Кормильчик.

Подробный фотоотчёт доступен в Информере МЦ ИМиФИ.

Доклад:

Брылякова Е.В. - "Паранепротиворечивые логики Нельсона"

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

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

Доклад:

Поляков А.А. - "n-матрицы как семантика нетранзитивных модальных логик с ветвлениями"

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

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

Доклад:

Широков П.А. - "Подходы к подсчёту числа монотонных булевых функций от n переменных"

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

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

Доклад:

Смелых К.А. - "Model Checking для логики вычислительных деревьев"
Брылякова Е.В. - "Унитарный тип унификации для L3: гипотеза"
Поляков А.А. - "Подходы к оценке двухмерного кортежа в LTL.sl"

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

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

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n. Часть 2"

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

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

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n"

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

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

Доклад:

Бушакова Ю.А. - "Полнота классического исчисления"
Брылякова Е.В. - "Унитарная унификация в линейных логиках"

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

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