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

Доклады:

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

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

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

В целях реализации приказа ректора от 26.08.2020 №871 «Об организации образовательного процесса с 01.09.2020» и в связи с угрозой распространения новой коронавирусной инфекции образовательный процесс полностью переносится в удаленный формат:
- для студентов 3 курса с 07.10.2020 по 25.10.2020;
- для студентов 4 курса, 1 и 2 курсов магистратуры с 07.10.2020 по 01.11.2020.

1 и 2 курс бакалавриата продолжают обучаться в прежнем режиме.

В связи с тем, что с 05.10.2020 дисциплины «Физическая культура и спорт» и «Прикладная ФКиС» будут проходить в дистанционном формате (подробности на сайте ИФКСиТ) внесены изменения в расписание занятий.

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

Доклады:

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

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

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

Доклад:

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

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

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

Студенты выпускных курсов! Группе компаний РУСАЛ требуются специалисты для внедрения диспетчерской системы производства.

Уважаемые студенты, обратите внимание на изменение ссылки для заказа справок об обучении!

Для заказа справок об обучении Вам необходимо перейти по ссылке и заполнить данные в гугл-таблицу, запись осуществляется до 17:00 с пн-пт. Для получения готовой справки дожидаемся отметки в колонке «отметка о готовности справки». Далее готовую справку можно будет забрать лично под подпись в будние дни с 09:30 до 10:30, с 13:30 до 14:30, либо с 15:30 до 16:30 рядом с кабинетом дирекции 34-03.

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

• Е.А. Донец - Алгебры Гейтинга.
• А.И. Половинкина - Алгебры Ли типа F_4.

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

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