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

Институт математики и фундаментальной информатики объявляет начало приёмной кампании 2024.

В этом году набор на 1 курс бакалавриата, как и прежде, ведётся по трём направлениям:

• 01.03.01 Математика (20 бюджетных мест + платные места)
• 01.03.02 Прикладная математика и информатика (50 бюджетных мест + платные места)
• 02.03.01 Математика и компьютерные науки (60 бюджетных мест + платные места)

Обучение по всем программам предполагает два первых года унифицированной учебной программы с освоением всех общих курсов математики и информационных наук, программирования. Последующие 3 и 4 курсы — по индивидуальной для каждого выбранного направления траектории.

На программы магистратуры в этом году выделено 65 бюджетных мест по следующим укрупнённым группам:

• 01.04.01 Математика: кафедры алгебры и математической логики, теории функций (15 бюджетных мест + платные места)
• 01.04.02 Прикладная математика и информатика: кафедры высшей и прикладной математики, математического анализа и дифференциальных уравнений, математического моделирования и процессов управления (15 бюджетных мест + платные места)
• 02.04.01 Математика и компьютерные науки: кафедра вычислительных и информационных технологий (30 бюджетных мест + платные места)

Вступительный экзамен в магистратуру — Математика — пройдёт в начале августа в очной и дистанционной форме параллельно. К поступлению приглашаются все выпускники ИМиФИ — этого года и предыдущих лет, а также выпускники других институтов и вузов, включая обладателей дипломов специалитета (с квалификацией "дипломированный специалист").

Подача документов возможна с 20 июня лично в здании Библиотеки СФУ (аудитория Б3-07, левая дверь), либо дистанционно через портал ГОСУСЛУГИ (только для бакалавриата) или АИС Абитуриент: https://abiturient.sfu-kras.ru/.

Все интересующие вопросы можно задать по эл.почте:

• imifi-bs@sfu-kras.ru для вопросов по поступлению на бакалавриат;
• imifi-mag@sfu-kras.ru для вопросов по поступлению в магистратуру.

Любой вопрос также можно задать в сообщениях паблика "Информер МЦ ИМиФИ" социальной сети ВКонтакте: https://vk.com/imfi_sfu

С 20 июня доступен прямой телефон приёмной комиссии института: +7 (391) 206-39-42

График работы приёмной комиссии:

• ПН-ПТ с 9:00 до 17:00
• СБ с 9:00 до 13:00

Доклады (11:00, ауд. 34-17):

Алаев Павел Евгеньевич (г. Новосибирск) — Структуры, вычислимые за полиномиальное время.

Добровольский Николай Михайлович (г. Тула) — О теоретико-числовом методе в приближенном анализе профессора Н. М. Коробова.

В 12:00 (ауд. 34-11) состоится лекция:

Клячко Антон Александрович (г. Москва) — Вербально замкнутые подгруппы.

Дата: 13.06.2024.

Доклад:

Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.

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

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.

Доклад:

Мукосий А.А. - О диаграммах унификаторов для некоторых предтабличных расширений нормальной модальной логики S4.

Поляков А.А. - О реляционной характеризации версии логики LTK.sl обеднённого языка.

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

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.

Доклад:

Поляков А.А. - Эквивалентность кортежной и реляционной семантик для логики Alt_1.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Киселева У.С.
• Фисков Я.С.

Доклад:

Смелых К.А. - Классификация подходов к моделированию агентного взаимодействия.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Поляков А.А.

Доклад:

Смелых К.А. - Реляционная версия многоагентной логики деревьев вычислений CTLK.

Брылякова Е.В. - Диаграммы унификаторов для формул в логике L1.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Поляков А.А.
• Донец Е.А.

Доклад:

С. И. Башмаков - Актуальные задачи неклассических логик.

Брылякова Е.В. - Диаграммы унификаторов для формул в логике L2.

Поляков А.А. - О применимости кортежной семантики к модальным логикам.

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

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

Доклады:

Зверева Татьяна Юрьевна — О подходах к исследованию линейной мультимодальной логики ступенчатого времени.

Половинкина Анна Ильинична — О вычислении структурных констант простых алгебр Ли исключительных типов и приложения.

Троянская Елизавета Николаевна — К вопросу о замыкании ковра аддитивных подгрупп.

Дата: 30.05.2024.

В понедельник 20 мая в 14:10 в аудитории БА (22-04) состоится открытая лекция специалиста в области механики деформируемого твердого тела, механики контактных взаимодействий и трибологии, доктора физико-математических наук, профессора МГУ и МФТИ, руководителя лаборатории трибологии Института проблем механики им. А.Ю. Ишлинского, академика РАН Ирины Георгиевны Горячевой.

Тема: «Некоторые задачи фундаментальной трибологии и методы их решения».

21 мая, в 12:00, в стенах Института вычислительного моделирования ФИЦ КНЦ СО РАН (Академгородок, 50/44, каб. 434), состоится второй доклад Ирины Георгиевны: «Модели контактного взаимодействия шероховатых тел».