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

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

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

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

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

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

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

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

Заседание №54 (13 марта 2021 г.)

Доклад:

• Т.Ю. Зверева - Формульная характеризация линейной логики step-like-времени.

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

• Башмаков С.И.
• Донец Е.А.

Заседание №53 (27 февраля 2021 г.)

Время: 

15:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Реляционная семантика многоагетных модальных логик.

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

• Башмаков С.И.
• Донец Е.А.
• Порошин А.О.
• Смелых К.А.
• Мукосий А.А.
• Громова М.В.
• Олейников С.И.
• Астротенко А.В.

Заседание №52 (20 февраля 2021 г.)

Время: 

14:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Опровержимость аксиомы Лемонна для линейной нетранзитивной нерефлексивной временной логики.

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

• Башмаков С.И.
• Донец Е.А.
• Порошин А.О.
• Смелых К.А.

Заседание №51 (13 февраля 2021 г.)

Время: 

14:00

Место: 

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

Доклад:

• Донец Е.А. - Предтабличные расширения модальной логики S4. Модели описывающие полные наборы унификаторов.

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

• Башмаков С.И.
• Зверева Т.Ю.
• Смелых К.А.

Заседание №50 (4 февраля 2021 г.)

Время: 

15:00

Место: 

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

Доклад:

• Донец Е.А. - Предтабличные расширения модальной логики S4 и их n-характеристические модели.

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

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

Заседание №49 (24 декабря 2020 г.)

Время: 

15:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Свойство линейности для нетранзитивной нерефлексивной временной логики.

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

• Башмаков С.И.
• Донец Е.А.
• Чубукова Г.В.

Заседание №48 (11 декабря 2020 г.)

Время: 

16:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Характеризация дополнительных свойств логики LTK_{sl_U} модальными формулами.

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

• Башмаков С.И.
• Донец Е.А.

Заседание №47 (3 декабря 2020 г.)

Время: 

16:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Общезначимость формул в многоагентной логике нерефлексивного нетранзитивного линейного знания LTK_{sl_U}.

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

• Башмаков С.И.
• Донец Е.А.

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

Время: 

14:00

Место: 

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

Доклад:

• Т.Ю. Зверева - Свойства фреймов многоагентной логики нерефлексивного нетранзитивного линейного знания LTK_{sl_U}.

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

• Башмаков С.И.
• Донец Е.А.
• Чубукова Г.В.

Заседание №45 (19 ноября 2020 г.)

Время: 

15:00

Место: 

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

Доклады:

• Е.А. Донец- «Проективная аппроксимация в интуиционистской логике»

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

• Астротенко А.В.
• Башмаков С.И.
• Зверева Т.Ю.

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