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

Доклад С.И. Башмаков – «Проективная унификация в линейной интранзитивной мономодальной логике LiTL». Часть 1.

Аннотация доклада.
Доклад посвящен проективной унификации в логике LiTL, анализируются известные результаты, подход С. Гиларди через проективные формулы.

д-р физ.-мат. наук, профессор Белов Ю.Я. «Применение метода слабой аппроксимации при решении различных задач».

Организационные вопросы.

Доклад С.И. Башмаков – «Финитная аппроксимируемость линейной интранзитивной мономодальной логики LiTL»

Аннотация доклада.
На вводном заседании был сделан доклад о вопросе финитной аппроксимируемости логики LiTL.

На сайте в разделе расписание опубликовано расписание пересдач зачётов для студентов, имеющих академические задолженности по итогам прошедшей зимней сессии. Обратите внимание, что большая часть пересдач зачётов пройдет в период с 13 по 17 февраля 2018 г. Пересдачи экзаменов, в основном, пройдут в период с 19 по 26 февраля. Внимательно следите за изменениями в расписании.

С 1 февраля начался прием заявок на конкурс «Студент года СФУ», который продлится до 5 марта.

C 1 февраля начался прием заявок на повышенную государственную академическую стипендию (ПГАС) за достижения в учебной, научно-исследовательской, общественной, культурно-творческой и спортивной деятельности.
Прием заявок осуществляется на сервисе личного кабинета «Мой СФУ» в 2 этапа:
1 этап - прием достижений на верификацию – с 1 февраля до 5 марта 2018 г.
2 этап - прием заявок на получение ПГАС - с 1 февраля до 15 марта 2018 г.
13 февраля 2018 г. в 18:00 состоится семинар для студентов, где специалисты Отдела молодежных проектов, расскажут, как правильно подавать заявку и ответят на интересующие вопросы.
Место проведения семинара – пр. Свободный 82 (корпус К), Малый актовый зал.
Более подробную информацию можно посмотреть, перейдя по ссылке: http://www.sfu-kras.ru/stip

На сайте опубликован проект расписания занятий на весенний семестр 2017-2018 учебного года. Напоминаем, что в магистратуре занятия начнутся с 5 февраля, у бакалавров - с 12 февраля 2018 года.

Открыт приём заявок на ежегодный конкурс от банка «Международный финансовый клуб» среди молодых учёных СФУ на соискание премии 2018 года за вклад в развитие науки Сибири. К участию приглашаются молодые учёные, трудоустроенные в СФУ на основное место работы, а также студенты, аспиранты и докторанты очной формы обучения в возрасте до 35 лет включительно (на момент объявления конкурса).
Подробности на сайте СФУ.

Студенты ИМиФИ! Приглашаем принять участие во Всероссийском юридическом диктанте, который состоится 9 декабря в 14.00.