Красноярский молодежный учебно-научный семинар "Основы математической логики"

Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении.

Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.

Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.

Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам учебных семестров, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.

Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru

Секретарь семинара:
Смелых Кирилл Александрович,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru

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

В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.

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

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

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

Заседание №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.

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

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

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

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

Доклад:

    • Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках.
    • Поляков А.А. - Изоморфизм семантик.

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

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

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

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

Доклад:

    • Башмаков С.И. - Установочный доклад с текущими планами работы.
    • Смелых К.А. - О задачах оценки сложности проблемы вополнимости во временных моделях.

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

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

Заседание №109 (1 июня 2024 г.)

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

Доклад:

    • Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.
    • Брылякова Е.В. - Структура нижних слоёв диаграмм унификаторов в L2.

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

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

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

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