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

Доклад:

А.А. Мукосий - Метод фильтрации для логики Иогансона.

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

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

Доклад:

С.И. Башмаков - Свойства отношений на множествах унификаторов.

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

• Брылякова Е.В.
• Корнилова М.И.
• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Боргоякова Я.А.

Доклад:

С.И. Башмаков - К задачам текущего года. Реляционная семантика, теория унификации, разрешимость.

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

• Брылякова Е.В.
• Корнилова М.И.
• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Боргоякова Я.А.

Доклад:

К.А. Смелых - Семантика бесконечных автоматов для временных логик.

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

• Брылякова Е.В.
• Корнилова М.И.
• Башмаков С.И.
• Зверева Т.Ю.
• Мукосий А.А.

Доклад:

Е.В. Брылякова - Семантические свойства логики Int.

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

• Смелых К.А.
• Корнилова М.И.
• Башмаков С.И.
• Зверева Т.Ю.
• Мукосий А.А.

Доклад:

Т.Ю. Зверева - Семантика ступенчатой временной многоагентной логики.

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

• Смелых К.А.
• Корнилова М.И.
• Башмаков С.И.
• Брылякова Е.В.
• Мукосий А.А.

Доклад:

М.И. Корнилова - Интуиционистская логика.

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

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

Доклад:

М.И. Корнилова - Семантика и свойства логики POS.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Богданович М.С.
• Мукосий А.А.

В Красноярском крае определены лауреаты государственные премии в области профессионального образования. В 2022 году среди аспирантов обладателем премии стал преподаватель кафедры алгебры и математической логики Владимир Маркович Леонтьев. Поздравляем лауреата!

Премия присуждается лицам, добившимся высоких результатов в педагогической деятельности и научных разработках, направленных на социально-экономическое развитие Красноярского края.

в рамках программы «Приоритет 2030» объявлен набор на программы дополнительной профессиональной переподготовки для студентов 2-4 курсов бакалавриата и 1-2 курсов магистратуры.

Программы для обучающихся по направлениям подготовки и специальностям ИТ-сферы, к которым относятся все направления, реализуемые в ИМиФИ:

• Информационные технологии: развертывание и администрирование современных телекоммуникационных систем;
• Администрирование средств безопасности операционных систем семейства Linux.

Подробнее о проекте можно узнать по ссылке http://digit.sfu-kras.ru.
Запись на программы осуществляется на сайте ИНО СФУ по ссылке: https://ino.sfu-kras.ru/project/1308.