Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении. 
Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.
Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.
Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам учебных семестров, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.
Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru
Секретарь семинара:
Смелых Кирилл Александрович,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru
По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.
В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
Башмаков С.И. - Алгебраические модели доказательств.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Мукосий А.А.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
Смелых К.А. - Алгоритм проверки выполнимости формулы в CTLK.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-08
Доклад:
Брылякова Е.В. - Построение полного базиса унификаторов.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Поляков А.В. - Полнота Alt1 в рамках кортежной семантики.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Фисков Я.С.
- Мукосий Н.Н.
Место:
пр. Свободный, 79, ауд. 34-17
По итогам осеннего семестра, на текущем семинаре лауреатами за успешные и регулярные доклады признаны:
К.А. Смелых, Е.В. Брылякова и А.В. Поляков.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
Смелых К.А. - Разрешимость логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.
Поляков А.В. - Кортежная семантика для логики Alt1.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Фисков Я.С.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
- Брылякова Е.В. - Прямое доказательство проблемы Фридмана для интуиционистской логики техникой В.В. Рыбакова.
- Смелых К.А. - Оценка сложности проблемы разрешимости в логике деревьев вычислений.
Участники семинара:
- Мукосий А.А.
- Поляков А.А.
- Башмаков С.И.
- Фисков Я.С.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
- Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
- Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Участники семинара:
- Брылякова Е.В.
- Смелых К.А.
- Башмаков С.И.
- Фисков Я.С.
- Мукосий А.А.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
- Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 3.
- Брылякова Е.В. - Проблема допустимости в интуиционистской логике через унификацию.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Фисков Я.С.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
Фисков Я.С. - Трансляции в модальных логиках.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Зверева Т.Ю.
- Смелых К.А.
- Мукосий А.А.
