Поздравление директора Ольги Николаевны Черепановой с Новым 2025-м годом

Дорогие друзья! В уходящем году мы достигли многого, а в Новом году сможем еще больше!

С праздником, с Новым 2025 годом!

Внеочередное заседание (30 ноября 2024 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

По итогам осеннего семестра, на текущем семинаре лауреатами за успешные и регулярные доклады признаны:
К.А. Смелых, Е.В. Брылякова и А.В. Поляков.

В ИМиФИ появилась входная зона

Силами студентов и сотрудников в ИМиФИ появилась новая входная группа — оформлена она в цветах недавно утверждённой официальной символики института и включает в себя сразу 8 досок для объявлений: левая часть предполагает размещение объявлений дирекции, правая доступна для студентов и сотрудников.

Перед Новым годом входная зона также дополнилась новой праздничной ёлочкой — в январе на её месте разместится новый баннер.

Родион Гвоздев — финалист конкурса Мёбиуса 2024

️Магистрант ИМиФИ Родион Гвоздев с докладом «Порождающие множества сопряженных инволюций групп PSL(n,9)» стал финалистом XXVIII Всероссийского научного конкурса им. Августа Мёбиуса.

Конкурс был учрежден в 1997 году для выявления лучших студенческих и аспирантских научных работ по математике и для оказания финансовой поддержки их авторам при продолжении их научной работы в России. За последние 20 лет в институте финалистами становились четверо: Степан Игоревич Башмаков, Дмитрий Юрьевич Почекутов, Юрий Валерьевич Элияшев и Владимир Маркович Леонтьев — первый выиграл, второй разделил первое-второе место с соперником из Москвы.

Напомним, что ранее Родион вошел в шорт-лист лучших молодых учёных на IV конференции математических центров России в Санкт-Петербурге.

Заседание №117 (28 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Смелых К.А. - Разрешимость логики CTLK.
    Брылякова Е.В. - Диаграммы унификаторов.
    Поляков А.В. - Кортежная семантика для логики Alt1.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Фисков Я.С.
  • Смелых К.А.

Заседание №116 (21 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Брылякова Е.В. - Прямое доказательство проблемы Фридмана для интуиционистской логики техникой В.В. Рыбакова.
    • Смелых К.А. - Оценка сложности проблемы разрешимости в логике деревьев вычислений.

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

  • Мукосий А.А.
  • Поляков А.А.
  • Башмаков С.И.
  • Фисков Я.С.

Заседание №115 (14 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
    • Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

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

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

Заседание №114 (7 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 3.
    • Брылякова Е.В. - Проблема допустимости в интуиционистской логике через унификацию.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Фисков Я.С.
  • Смелых К.А.

Заседание №113 (31 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Фисков Я.С. - Трансляции в модальных логиках.

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

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

Заседание №112 (24 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 2.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Фисков Я.С.

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

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram