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

Доклад:

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

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

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

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

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

Доклад:

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

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

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

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

Доклады:

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

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

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

Доклады:

• Е.А. Донец - «Унификация в Int (обзор статьи С. Гиларди)»

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

• Башмаков С.И.
• Зверева Т.Ю.

Согласно приказа ректора №1262 от 13.11.2020 "О деятельности университета в период с 16 ноября" все учебные занятия (лекции и семинары) у студентов всех курсов института с понедельника, 16 ноября, переводятся в дистанционный формат с использованием электронной информационно-образовательной среды.

Пересдачи с комиссией пройдут согласно расписания в очном формате.

Поздравляем команду ИМиФИ "Клопы тараканы" с 3-м местом на 1/4 финала Чемпионата мира по программированию среди сборных команд высших учебных заведений, проходившего на базе ИКИТ СФУ 6-7 ноября 2020.

Состав команды:

• Андрей Солодников
• Иван Носов
• Илья Стрекаловский

http://ikit.sfu-kras.ru/olimp/acm/2020

Доклады:

• Е.А. Донец - «Проективная унификация»
• А.И. Половинкина - «Вычисление структурных констант алгебр Ли»

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

• Башмаков С.И.
• Зверева Т.Ю.
• Чубукова Г.В.
• Костенко Я.Ю.

Доклады:

• А.И. Половинкина - «Системы корней»

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

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