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

Доклады:

• Т.Ю. Зверева - Связь с логиками первого и второго порядков.
• Е.А. Донец - Вложение логики 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

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

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

Доклады:

• Е.А. Донец - Интуиционистская логика 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

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

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