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