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

Заселение первокурсников, поступивших по программам бакалавриата (1 волна) ИМиФИ возможно с 26 августа согласно приложенным спискам. Рекомендуемые даты для института - 30 и 31 августа.
Общежитие №3:- пр. Свободный, 83
Общежитие №26:- пр. Свободный, 76и

График работы сотрудников в общежитии на период заселения:

• понедельник - суббота с 08:30 до 19:00
• воскресенье с 08:30 до 13:00

...

Заселение первокурсников, поступивших по программам бакалавриата с особыми правами ИМиФИ (нулевая волна) возможно с 25 августа.
Общежитие №3:- пр. Свободный, 83

График работы сотрудников в общежитии на период заселения:

• понедельник - суббота с 08:30 до 19:00
• воскресенье с 08:30 до 13:00

...

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

Доклады:

• Т.Ю. Зверева - Связь с логиками первого и второго порядков.
• Е.А. Донец - Вложение логики Int в нормальную модальную логику S4.

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

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

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

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

За нашим институтом закреплены общежития №3 - коридорного - и №26 - квартирного типов.
Распределение первокурсников будет происходить с учетом рейтинга вступительных испытаний (бакалавры), среднего балла предыдущего диплома о ВО и наличия рекомендаций (магистры), а также наличия свободных мест. Информация о заселении будет оперативно выставлена на сайте после выхода приказов о зачислении.

Заселение первокурсников будет происходить с 25 августа, рекомендуемые даты для студентов 1 курса ИМиФИ: 30, 31 августа 2020 г....

Доклады:

• А.О. Ташкен - Системы Хинтикки. Аксиома МакКинси.
• А.И. Половинкина - Алгебры Ли типа E_8.

Начало в 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 сентября 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

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

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