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

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

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

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

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

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

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

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

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

Семинар продолжает свою работу в онлайн-формате по понедельникам в 14:00.

Заседание №31 (11 августа 2020 г.)

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

Доклады:

  • А.О. Ташкен - Канонические модальные логики.
  • Е.А. Донец -Метод фильтрации, свойство конечной модели для модальных логик.

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

Заседание №30 (5 августа 2020 г.)

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

Доклады:

  • А.О. Ташкен - Нормальные модальные логики и шкалы Крипке.
  • Е.А. Донец - Свойства отношений и модальные формулы.
  • Т.Ю. Зверева - Наименьшая нормальная модальная логика К.

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

Заседание №29 (28 июля 2020 г.)

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

Доклады:

  • Е.А. Донец - Интуиционистская логика Int и минимальная логика J.
  • Т.Ю. Зверева - Связь интуиционистской и классической логики.
  • А.О. Ташкен - Метод фильтрации, свойство конечных моделей.

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

Заседание №28 (20 июля 2020 г.)

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

Доклады:
Башмаков С.И. - Логика, как дедуктивная система. CL и ее фрагменты.

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

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Ташкен А.О.

Заседание №27 (16 июля 2020 г.)

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

Доклады:
Башмаков С.И. - Обсуждение задач нового учебного года.

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

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Ташкен А.О.

Заседание №26 (15 июня 2020 г.)

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

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

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

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

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

Заседание №25 (8 июня 2020 г.)

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

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

Доклады:

  • Башмаков С.И. — Некоторые задачи неклассической логики: p-морфизм, аксиоматизация, полнота;
  • Зверева Т.Ю. — Вопросы унификации в одной временной многомодальной логике знания. Финитная аппроксимируемость.

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

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

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

Заседание №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 относительно классов острых шкал».

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

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