Институт математики
и фундаментальной информатики СФУ

Напоминаем, что с 6 апреля в СФУ возобновляются занятия в дистанционном формате. Доступ в корпуса университета по прежнему ограничен. Всем сотрудникам и студентам просьба ознакомиться с соответствующими приказами Президента Российской Федерации, Минобрнауки России, ректора СФУ. Подробности - на сайте университета.

На неделе с 13 по 18 апреля 2020 г. для студентов 1-3 курсов института будет проведена традиционная минисессия в нетрадиционном дистанционном формате. При этом дистанционное обучение по дисциплинам, которые не выносятся на минисессию, будет продолжено. Расписание минисессии с указанием конкретных форм проведения экзаменов будет опубликовано 8 апреля.

В связи с обращением Президента РФ и приказом Министерства науки и высшего образования РФ занятия для профессорско-преподавательского состава и студентов в период с 28 марта по 5 апреля 2020 года проводиться не будут, в том числе, в электронной форме. Занятия с 6 апреля (понедельник) и далее продолжатся в режиме дистанционного обучения.

Подробности на сайте СФУ http://news.sfu-kras.ru/node/23003

Тема:
Зверева Т.Ю. - «Каноническая модель расширений Pos».
Родюшкин А.И. - «Некоторые свойства логики Pos».

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

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

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

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

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

Тема:
Башмаков С.И. - «Полнота и сильная полнота расширений логики Pos».

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

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

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

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

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

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

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

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

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

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

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

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

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

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