Молодежный учебно-научный семинар "Основы математической логики"

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

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

Для овладения молодыми участниками используемой в мире терминологии и повышения уровня владения языком, запланировано проведение "Английских кружков", где сами доклады и их обсуждения будут проводится исключительно на английском языке.

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

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

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

Секретарь семинара:
Зверева Татьяна Юрьевна, руководитель Молодежного центра ИМиФИ,
студент кафедры алгебры и математической логики
e-mail: 3336259@gmail.com

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

В новом семестре семинар проходит преимущественно по четвергам в 15:00.

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

Время: 
15:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклады:

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

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

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

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

Время: 
14:30
Место: 
пр. Свободный, 79, ауд. 34-17

Доклады:

  • Е.А. Донец - «Унификация в Int (обзор статьи С. Гиларди)»

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

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

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

Время: 
15:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклады:

  • Е.А. Донец- «Проективная унификация»

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Половинкина А.И.
  • Чубукова Г.В.
  • Костенко Я.Ю.

Заседание №42 (31 октября 2020 г.)

Время: 
15:00
Место: 
пр. Свободный, 79, ауд. 15-19

Доклады:

  • А.И. Половинкина - «Системы корней»

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

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

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

Время: 
15:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклады:

  • Е.А. Донец - «Унификация в языке классической логики»

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

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

Заседание №40 (15 октября 2020 г.)

Время: 
15:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклады:

  • Т.Ю. Зверева - «Аксиоматизация многомодальной LTKr (обзор статьи А.Н. Лукьянчук)»

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

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

Заседание №39 (9 октября 2020 г.): марафон

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Семинар однократно перенесен на пятницу и пройдет в формате long-play-марафона

Доклады:

  • Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой). Часть 2»
  • Т.Ю. Зверева - «Аксиоматизация линейной логики знания с нетранзитивным временным отношением»

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

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

Заседание №38 (1 октября 2020 г.)

Время: 
16:30
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

  • Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой)»

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

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

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

Время: 
16:30
Место: 
пр. Свободный, 79, ауд. 34-08

Доклад:

  • Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн). Часть 2

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Ташкен А.О.
  • Костенко Я.Ю.

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

Время: 
16:30
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

  • Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн).
  • Е.А. Донец - Алгебры Гейтинга: табличные и предтабличные SIL.

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Ташкен А.О.
  • Чубукова Г.В.
  • Костенко Я.Ю.
RSS-материал