Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении.

Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.

Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.

Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам года, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.

Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru

Секретарь семинара:
Смелых Кирилл Александрович, руководитель Молодежного центра ИМиФИ,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru

По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.

В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.

Заседание №20 (27 декабря 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - «Острые (корневые) шкалы».

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.

Заседание №19 (17 декабря 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - «Классы шкал позитивной логики Pos».

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.
• Марковская И.А.

Заседание №18 (10 декабря 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - «Корректная семантика для Pos».

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Талаева О.Е.
• Лейнартас Е.Д.

Заседание №17 (5 декабря 2019 г.)

Время: 

15:45

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Зверева Т.Ю. - «Полнота по Крипке расширений Pos».

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.
• Захаров М.С.

Заседание №16 (28 ноября 2019 г.)

Время: 

15:45

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Зверева Т.Ю. - "Введение в семантику возможных миров".

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.
• Талаева О.Е.
• Захаров М.С.
• Марковская И.А.

Заседание №15 (21 ноября 2019 г.)

Время: 

15:45

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - «Позитивная логика Pos».
Зверева Т.Ю. - «Шкалы Крипке».

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.
• Талаева О.Е.
• Захаров М.С.
• Мальцев А.Д.

Заседание №14 (22 октября 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Зверева Т.Ю. - "Синтаксис классического пропозиционального исчисления".
Родюшкин А.И. - "Позитивная классическая логика".

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.

Заседание №13 (7 октября 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - "Полнота классической логики".

Участники семинара:

• Животова Е.П.
• Данилов Д.В.
• Зверева Т.Ю.

Заседание №12 (17 сентября 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - "Классическое пропозициональное исчисление".
Родюшкин А.И. - "Аксиоматика Гильбертовского типа для CPC".

Участники семинара:

• Бузурный М.И.
• Родюшкин А.И.
• Данилов Д.В.

Заседание №11 (10 сентября 2019 г.)

Время: 

17:30

Место: 

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - "Основания логики и дедуктивные системы".

Участники семинара:

• Зверева Т.Ю.
• Бузурный М.И.
• Родюшкин А.И.
• Данилов Д.В.
• Попов Н.А.
• Пермякова Ю.Е.

• « первая
• ‹ предыдущая
• …
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• следующая ›
• последняя »