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

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

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

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

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

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

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

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

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

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

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

Доклад:

    Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.

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

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

Заседание №109 (25 мая 2024 г.)

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

Доклад:

    Мукосий А.А. - О диаграммах унификаторов для некоторых предтабличных расширений нормальной модальной логики S4.
    Поляков А.А. - О реляционной характеризации версии логики LTK.sl обеднённого языка.

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

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

Заседание №108 (11 мая 2024 г.)

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

Доклад:

    Поляков А.А. - Эквивалентность кортежной и реляционной семантик для логики Alt_1.

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

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

Заседание №107 (16 марта 2024 г.)

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

Доклад:

    Смелых К.А. - Классификация подходов к моделированию агентного взаимодействия.

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

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

Заседание №106 (7 марта 2024 г.)

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

Доклад:

    Смелых К.А. - Реляционная версия многоагентной логики деревьев вычислений CTLK.
    Брылякова Е.В. - Диаграммы унификаторов для формул в логике L1.

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

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

Заседание №105 (22 февраля 2024 г.)

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

Доклад:

    С. И. Башмаков - Актуальные задачи неклассических логик.
    Брылякова Е.В. - Диаграммы унификаторов для формул в логике L2.
    Поляков А.А. - О применимости кортежной семантики к модальным логикам.

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

  • Башмаков С.И.
  • Брылякова Е.В.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Поляков А.А.

Заседание №104 (16 декабря 2023 г.)

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

Доклад:

    Смелых К.А. - Разрешимость логик.

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

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

Заседание №103 (23 ноября 2023 г.)

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

Доклад:

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

В рамках семинара оглашены дипломанты семинара 2022-2023 гг. за самое активное участие в его проведении:

  • Брылякова Елизавета Валерьевна
  • Мукосий Александр Алексеевич
  • Поляков Александр Алексеевич
  • Смелых Кирилл Александрович

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

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

Заседание №102 (16 ноября 2023 г.)

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

Доклад:

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

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

  • Башмаков С.И.
  • Мукосий А.А.
  • Донец Е.А.

Заседание №101 (26 октября 2023 г.)

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

Доклад:

    Поляков А.А. - Примеры унификаторов в некоторых нетранзитивных логиках.

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

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

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

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