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

Доклад:

• Т.Ю. Зверева - Свойства фреймов многоагентной логики нерефлексивного нетранзитивного линейного знания 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

Доклады:

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

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

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

Доклады:

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

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

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

Доклады:

• Е.А. Донец - «Унификация в языке классической логики»

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

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

С 02.11.2020 в институте возобновляется образовательный процесс в смешанном режиме:

• студенты 1 и 2 курсов бакалавриата - продолжают обучение в очном формате (за исключением дисциплин, полностью переведенных в дистанционный формат)
• студенты 3 курса – переходят на обучение в смешанном режиме (очно по верхней неделе, по нижней неделе - в дистанционном формате, неделя с 02.10.2020 - дистанционно);
• студенты 4 курса – переходят на обучение в смешанном режиме (в дистанционном формате по верхней неделе, по нижней неделе – очно, неделя с 02.10.2020 - очно);
• студенты магистратуры – переходят на обучение в очном режиме (за исключением дисциплин, полностью переведенных в дистанционный формат).