Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении.
Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.
Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.
Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам года, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.
Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru
Секретарь семинара:
Смелых Кирилл Александрович, руководитель Молодежного центра ИМиФИ,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru
По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.
В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.
Место:
пр. Свободный, 79, ауд. 34-17
Доклады:
- Е.А. Донец - «Унификация в Int (обзор статьи С. Гиларди)»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
Место:
пр. Свободный, 79, ауд. 34-17
Доклады:
- Е.А. Донец - «Проективная унификация»
- А.И. Половинкина - «Вычисление структурных констант алгебр Ли»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Чубукова Г.В.
- Костенко Я.Ю.
Место:
пр. Свободный, 79, ауд. 15-19
Доклады:
- А.И. Половинкина - «Системы корней»
Участники семинара:
- Астротенко А.В.
- Башмаков С.И.
- Донец Е.А.
- Зверева Т.Ю.
- Ташкен А.О.
Место:
пр. Свободный, 79, ауд. 34-17
Доклады:
- Е.А. Донец - «Унификация в языке классической логики»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
Место:
пр. Свободный, 79, ауд. 34-17
Доклады:
- Т.Ю. Зверева - «Аксиоматизация многомодальной LTKr (обзор статьи А.Н. Лукьянчук)»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
Место:
пр. Свободный, 79, ауд. 34-17
Семинар однократно перенесен на пятницу и пройдет в формате long-play-марафона
Доклады:
- Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой). Часть 2»
- Т.Ю. Зверева - «Аксиоматизация линейной логики знания с нетранзитивным временным отношением»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой)»
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
Место:
пр. Свободный, 79, ауд. 34-08
Доклад:
- Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн). Часть 2
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
- Костенко Я.Ю.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн).
- Е.А. Донец - Алгебры Гейтинга: табличные и предтабличные SIL.
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
- Чубукова Г.В.
- Костенко Я.Ю.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Е.А. Донец - Алгебры Гейтинга.
- А.И. Половинкина - Алгебры Ли типа F_4.
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Донец Е.А.
- Ташкен А.О.
- Чубукова Г.В.
- Костенко Я.Ю.