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