Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении. 
Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.
Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.
Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам года, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.
Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru
Секретарь семинара:
Смелых Кирилл Александрович, руководитель Молодежного центра ИМиФИ,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru
По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.
В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.
Время:
26 мая 2020 г. 14:00
Место:
Онлайн-заседание в Zoom
Первый онлайн-семинар в весеннем семестре посвящен вводной тематике в специализацию по математической логике на кафедре АиМЛ - не предполагает специальных знаний в области. Приглашаются все желающие, в особенности студенты 2-го курса, а также заинтересованные первокурсники.
Доклады:
Родюшкин А.И. - Математическая логика, как дедуктивная система. Классическая логика, конструктивные логики;
Башмаков С.И. - Неклассические системы. Инструменты исследования логик: синтаксис и семантика. Реляционная семантика возможных миров Крипке;
Зверева Т.Ю. - Задача унификации в неклассических логиках. Пример решения для одной временной логики.
В рамках семинара оглашены дипломанты семинара 2019-2020 гг. за самое активное участие в его проведении:
- Зверева Татьяна Юрьевна
- Родюшкин Алексей Игоревич
Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Марцинкевич И.В.
- Чернов Г.Н.
- Бабаев М.А.
- Глазкина А.В.
Место:
пр. Свободный 79, ауд. 34-15
Тема:
Зверева Т.Ю. - «Каноническая модель расширений Pos».
Родюшкин А.И. - «Некоторые свойства логики Pos».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
Место:
пр. Свободный 79, ауд. 34-15
Тема:
Зверева Т.Ю. - «Полнота расширений логики Pos относительно классов острых шкал».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
Место:
пр. Свободный 79, ауд. 34-15
Тема:
Башмаков С.И. - «Полнота и сильная полнота расширений логики Pos».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Маркогвская И.А.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Башмаков С.И. - «Острые (корневые) шкалы».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Башмаков С.И. - «Классы шкал позитивной логики Pos».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Марковская И.А.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Башмаков С.И. - «Корректная семантика для Pos».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Талаева О.Е.
- Лейнартас Е.Д.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Зверева Т.Ю. - «Полнота по Крипке расширений Pos».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Захаров М.С.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Зверева Т.Ю. - "Введение в семантику возможных миров".
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Талаева О.Е.
- Захаров М.С.
- Марковская И.А.
Место:
пр. Свободный 79, ауд. 34-08
Тема:
Башмаков С.И. - «Позитивная логика Pos».
Зверева Т.Ю. - «Шкалы Крипке».
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Родюшкин А.И.
- Талаева О.Е.
- Захаров М.С.
- Мальцев А.Д.
