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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В целях профилактики коронавируса, с 17 марта (вторник) все обучение в СФУ переходит на дистанционную форму.

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

Доступ на портал по общеуниверситетскому логину и паролю студента/преподавателя.
Восстановить логин/пароль можно по адресу: users.sfu-kras.ru

Доступ к разделам:
«Все курсы» -> «Институт» -> «ИМиФИ» -> «Дистанционное обучение в период с 17.03 по 05.04.2020 г.» -> Направление подготовки и год обучения.

Необходимые к выполнению задания загружаются в том же разделе.
ВНИМАНИЕ:

1. Предметы, по которым ранее обучение шло на e-Курсах будут проводиться в первую очередь на тех же курсах!
2. Для связи с преподавателями можно использовать адреса электронной почты, указанные в разделе Cотрудники .
3. Возникающие вопросы можно задавать по телефонам дирекции ИМиФИ.

Дистанционная форма введена в университете по 4 апреля с возможным продлением.

Отметим, что проведение минисессии не отменяется. Весь материал, изученный в дистанционной форме, будет вынесен на минисессию.