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

Всем студентам ИМиФИ, выходящим с 1 сентября 2020г. из академического отпуска, необходимо написать соответствующее заявление (образец в приложении) и отправить скан на адрес электронной почты ykhoryakova@sfu-kras.ru. Заявления принимаются до 25.08.2020. Дату в заявлении следует указывать с 20.08.2020 по 25.08.2020 (кроме выходных дней). По всем вопросам обращаться в дирекцию института к Хорьяковой Юлии (ykhoryakova@sfu-kras.ru).

Институт математики и фундаментальной информатики начинает серию онлайн-встреч абитуриентов и их родителей с администрацией института. Вы сможете задать и получить ответ на любой вопрос, касающийся поступления и обучения в институте. Встречи будут проходить еженедельно по понедельникам и четвергам в 19:00 с использованием сервиса Zoom. Первая встреча состоится 3 августа.

Доклады:

• А.О. Ташкен - Нормальные модальные логики и шкалы Крипке.
• Е.А. Донец - Свойства отношений и модальные формулы.
• Т.Ю. Зверева - Наименьшая нормальная модальная логика К.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

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

Доклады:

• Е.А. Донец - Интуиционистская логика Int и минимальная логика J.
• Т.Ю. Зверева - Связь интуиционистской и классической логики.
• А.О. Ташкен - Метод фильтрации, свойство конечных моделей.

Начало в 16:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

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

Доклады:
Башмаков С.И. - Логика, как дедуктивная система.
Зверева Т.Ю. - CL и ее фрагменты.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

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

Доклады:
Башмаков С.И. - Обсуждение задач нового учебного года.
А.И. Половинкина - Алгебры Ли и алгебры Шевалле.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

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

Начиная с этого учебного года, аттестация по летним практикам на 1, 2, 3 курсах бакалавриата и 1 курсе магистратуры будет проходить следующим образом

• до 31 октября - первая аттестация;
• до 30 ноября - вторая аттестация (первая пересдача);
• до 20 декабря - третья аттестация (пересдача с комиссией).

Студентам, не сдавшим зачет по практике на первой аттестации, будет отменена стипендия с 1 ноября.
Студенты, на сдавшие зачет с комиссией в декабре, будут отчислены.

Ранее (в предыдущие учебные годы) аттестация по практике входила в зимнюю экзаменационную сессию. Пересдачи проходили в весеннем семестре.

Продолжается прием заявок на конкурсный отбор по программе «Современные методы теории информации, оптимизации и управления» на базе образовательного центра «Сириус».

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

Прием заявок для участия в конкурсном отборе открыт до 5 июля 2020 года включительно

• Сроки проведения: 2-23 августа 2020
• Место проведения: г. Сочи, Образовательный центр «Сириус».

Доклады:
Башмаков С.И. - Избранные современные проблемы неклассической логики. Полнота, аксиоматизация, унификация;
Зверева Т.Ю. - Проективная унификация во временных логиках.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

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

Военный учебный центр СФУ проводит конкурсный отбор граждан, для допуска к обучению по программам военной подготовки сержантов запаса либо солдат запаса. Начало обучения в сентябре 2020-2021 учебного года. Подробности - в прикрепленном файле.