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

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

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

Для овладения молодыми участниками используемой в мире терминологии и повышения уровня владения языком, запланировано проведение "Английских кружков", где сами доклады и их обсуждения будут проводится исключительно на английском языке.

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

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

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

Со-руководитель семинара:
Зверева Татьяна Юрьевна, руководитель Молодежного центра ИМиФИ,
студент кафедры алгебры и математической логики
e-mail: 3336259@gmail.com

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

В текущем семестре семинар проводится по четергам, в 16:00, ауд. 34-15.

Заседание №24 (26 мая 2020 г.)

Время: 
26 мая 2020 г. 14:00
Место: 
Онлайн-заседание в Zoom

Первый онлайн-семинар в весеннем семестре будет посвящен вводной тематике в специализацию по математической логике на кафедре АиМЛ - не предполагает специальных знаний в области. Приглашаются все желающие, в особенности студенты 2-го курса, а также заинтересованные первокурсники.

Доклады:
Родюшкин А.И. - Математическая логика, как дедуктивная система. Классическая логика, конструктивные логики;
Башмаков С.И. - Неклассические системы. Инструменты исследования логик: синтаксис и семантика. Реляционная семантика возможных миров Крипке;
Зверева Т.Ю. - Задача унификации в неклассических логиках. Пример решения для одной временной логики.

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

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

Заседание №23 (14 марта 2020 г.)

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

Тема:
Зверева Т.Ю. - «Каноническая модель расширений Pos».
Родюшкин А.И. - «Некоторые свойства логики Pos».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.

Заседание №22 (5 марта 2020 г.)

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

Тема:
Зверева Т.Ю. - «Полнота расширений логики Pos относительно классов острых шкал».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.

Заседание №21 (27 февраля 2020 г.)

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

Тема:
Башмаков С.И. - «Полнота и сильная полнота расширений логики Pos».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.
  • Маркогвская И.А.

Заседание №20 (27 декабря 2019 г.)

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

Тема:
Башмаков С.И. - «Острые (корневые) шкалы».

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

  • Башмаков С.И.
  • Зверева Т.Ю.

Заседание №19 (17 декабря 2019 г.)

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

Тема:
Башмаков С.И. - «Классы шкал позитивной логики Pos».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.
  • Марковская И.А.

Заседание №18 (10 декабря 2019 г.)

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

Тема:
Башмаков С.И. - «Корректная семантика для Pos».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Талаева О.Е.
  • Лейнартас Е.Д.

Заседание №17 (5 декабря 2019 г.)

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

Тема:
Зверева Т.Ю. - «Полнота по Крипке расширений Pos».

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.
  • Захаров М.С.

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

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

Тема:
Зверева Т.Ю. - "Введение в семантику возможных миров".

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.
  • Талаева О.Е.
  • Захаров М.С.
  • Марковская И.А.

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

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

С. И. Башмаков - «Позитивная логика Pos»
Татьяна Зверева - «Шкалы Крипке»

Тема:
Башмаков С.И. - «Позитивная логика Pos».
Зверева Т.Ю. - "Шкалы Крипке".

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Родюшкин А.И.
  • Талаева О.Е.
  • Захаров М.С.
  • Мальцев А.Д.
RSS-материал