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

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

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

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

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

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

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

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

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

Заседание №4 (8 ноября 2018 г.)

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

Тема:
Башмаков С.И. - "Введение в теорию модальных логик: реляционная семантика Крипке, нормальные модальные логики К, К4, S4".

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

  • Зверева Т.Ю.
  • Дураков Б.Е.
  • Казакова А.В.

Заседание №3 (25 октября 2018 г.)

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

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

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

  • Зверева Т.Ю.
  • Половинкина А.И.
  • Махьянов С.П.
  • Дураков Б.Е.

Заседание №2 (29 декабря 2017 г.)

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

Доклад:
Ходюня Николай Дмитриевич - "Гомотопическая теория типов"

Участники:

  • Башмаков С.И.
  • Казакова А.В.
  • Касымов Ф.
  • Марковская И.А.

Заседание №1 (1 декабря 2017 г.)

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

1 декабря состоится первое заседание Молодежного семинара. Целью данного семинара является знакомство с работами коллег-сверстников, полезный опыт докладов на научных семинарах.

Доклад:
Марковская Ирина Александровна - "Аксиоматизация некоторых табличных расширений логики Гёделя-Лёба"

Участники:

  • Башмаков С.И.
  • Казакова А.В.

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

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