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

2-5 декабря в формате онлайн (г. Томск) состоялась ХIХ Международная конференция им. А.Ф. Терпугова "Информационные технологии и математическое моделирование".

Сразу 4 представителя кафедры ВиПМ успешно выступили с докладами и стали победителями конкурса научных работ молодых ученых: студенты Валерий Голышев, Эллада Ибрагимова, Никита Беляков, а также преподаватель кафедры А.А. Солдатенко.

Подведены итоги ежегодного стипендиального проекта «Форсаж».
Учрежденная в 2010 году Людмилой Прокопьевной Усс и компанией «Сибирская альтернатива», стипендия выплачивается 10-ти студенткам ИМиФИ, ЮИ и ИФиЯК, постоянно проживающим в сельской местности, обучающимся на оценки хорошо и отлично, имеющим достижения в научной, общественной и культурной деятельности.

Лауреатами от нашего института стали студентки 2 курса Анна Филиппова и Татьяна Петруть, а также студентка 3 курса Дарья Дражник. Поздравляем победительниц!

Стипендия 5000 рублей выплачивается в течении учебного года.

Доклад:

• Т.Ю. Зверева - Свойство линейности для нетранзитивной нерефлексивной временной логики.

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

• Башмаков С.И.
• Донец Е.А.
• Чубукова Г.В.

Доклад:

• Т.Ю. Зверева - Характеризация дополнительных свойств логики LTK_{sl_U} модальными формулами.

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

• Башмаков С.И.
• Донец Е.А.

С 10 по 27 ноября впервые в онлайн-формате состоялась международная молодёжная научная конференция «Ломоносов», проводимая на базе МГУ.
В число лучших докладов направления «Математика и механика» вошла работа магистранта кафедры АиМЛ Татьяны Зверевой.

Поздравляем лауреата и ее научного руководителя!
https://docs.google.com/spreadsheets/u/1/d/1nZqMTWPjyJREi3aqJg5_1JJrmwQW...

Доклад:

• Т.Ю. Зверева - Общезначимость формул в многоагентной логике нерефлексивного нетранзитивного линейного знания LTK_{sl_U}.

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

• Башмаков С.И.
• Донец Е.А.

Преподаватель базовой кафедры вычислительных и информационных технологий Виктория Сергеевна Корниенко стала лауреатом 1-й премии Лаврентьевского конкурса студенческих и аспирантских работ по математике и механике.

Поздравляем победителя!

Доклад:

• Т.Ю. Зверева - Свойства фреймов многоагентной логики нерефлексивного нетранзитивного линейного знания LTK_{sl_U}.

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

• Башмаков С.И.
• Донец Е.А.
• Чубукова Г.В.

23 октября 2020 г. состоялось собрание трудового коллектива ИМиФИ, в ходе которого было проведено голосование по избранию кандидатуры в члены Ученого совета СФУ. По результатам голосования в члены Ученого совета СФУ от нашего института избран профессор кафедры теории функций Лейнартас Евгений Константинович. Скан протокола счетной комиссии - в приложении.

Доклады:

• Е.А. Донец- «Проективная аппроксимация в интуиционистской логике»

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

• Астротенко А.В.
• Башмаков С.И.
• Зверева Т.Ю.