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

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

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

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

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

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

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

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

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

Заседание №64 (онлайн, 6 ноября 2021 г.)

Время: 
14:00
Место: 
Онлайн-заседание в Discord

Доклад:

  • Т.Ю. Зверева - Синтез методов построения р-морфных фреймов и частичной фильтрации для доказательства финитной аппроксимируемости.

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

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

Заседание №63 (23 октября 2021 г.)

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

Доклад:

  • С.И. Башмаков - Введение в реаляционную семантику Крипке для нормальных модальных логик.

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

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

Заседание №62 (16 октября 2021 г.)

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

Доклад:

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

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Михайлов М.А.
  • Мукосий А.А.
  • Проценко Н.А.
  • Смелых К.А.
  • Эберле В.С.
  • Чувашов С.Ю.

Заседание №61 (25 сентября 2021 г.)

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

Доклад:

  • С.И. Башмаков - Реляционная семантика в неклассических логиках.

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

  • Зверева Т.Ю.
  • Донец Е.А.
  • Михайлов М.А.
  • Смелых К.А.

Заседание №60 (24 августа 2021 г.)

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

Доклад:

  • Т.Ю. Зверева - Конечная аксиоматизируемость транзитивных предтабличных логик конечной глубины (доклад по статье Shan Du).

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

  • Башмаков С.И.
  • Донец Е.А.
  • Смелых К.А.

Заседание №59 (18 июня 2021 г.)

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

Доклад:

  • Т.Ю. Зверева - Unification and Finite Model Property for Linear Step-like Temporal Multi-agent Logic with the Universal Modality (доклад по статье).

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

  • Зверева Татьяна Юрьевна
  • Донец Екатерина Александровна

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

  • Башмаков С.И.
  • Донец Е.А.
  • Порошин А.О.
  • Смелых К.А.

Заседание №58 (11 июня 2021 г.)

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

Доклад:

  • Т.Ю. Зверева - Финитная аппроксимация нерефлексивных логик.

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

  • Башмаков С.И.
  • Донец Е.А.
  • Смелых К.А.

Заседание №57 (22 мая 2021 г.)

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

Доклад:

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

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

  • Зверева Т.Ю.
  • Порошин А.О.
  • Смелых К.А.

Заседание №56 (8 мая 2021 г.)

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

Доклад:

  • С.И. Башмаков - Реляционные свойства нормальных модальных логик.

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

  • Зверева Т.Ю.
  • Донец Е.А.
  • Порошин А.О.
  • Смелых К.А.

Заседание №55 (17 апреля 2021 г.)

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

Доклад:

  • С.И. Башмаков - Синтаксис и семантика нормальной модальной логики.

Вводный семинар для младших курсов. Участники семинара:

  • Зверева Т.Ю.
  • Донец Е.А.
  • Порошин А.О.
  • Смелых К.А.

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

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