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

Доклады:

Антошкин Артём Андреевич — Структурные вопросы для квазиполей малых нечетных порядков.

Гвоздев Родион Игоревич — Порождающие множества инволюций линейных групп над кольцом целых гауссовых чисел и над конечными полями.

Извеков Максим Алексеевич — Применение модальной логики в анализе информации и прагматике состояний и событий.

Логинова Валерия Сергеевна — Структурные вопросы для конечных квазиполей Холла.

Соколовская Анна Максимовна — Порождающие множества инволюций линейных групп малых размерностей над конечными полями нечетной характеристики.

Петруть Татьяна Сергеевна — Порождающие множества инволюций линейных групп малых размерностей над конечными полями характеристики 2.

Половинкина Анна Ильинична — Регулярность силовских подгрупп групп Шевалле исключительных лиевых типов над полями и кольцами вычетов.

Скок Дарья Сергеевна — Линейные автотопизмы полуполевых проективных плоскостей малого ранга.

Дата: 22.06.2023.

Открыт приём заявок на участие в XXII Международной конференции им. А.Ф. Терпугова «Информационные технологии и математическое моделирование».

Направления конференции
• Математическое и компьютерное моделирование
• Математическая теория телетрафика и теория массового обслуживания
• Прикладной вероятностный анализ
• Системы телекоммуникации
• Искусственный интеллект и робототехника
• Информационные технологии и их применение

Важные даты
• с 1 июля по 1 сентября: регистрация участников и загрузка материалов доклада (РИНЦ)
• до 1 октября: рецензирование работ, решение о публикации
• до 1 ноября: загрузка расширенных статей (Scopus)

Сайт конференции: http://itmmconf.tsu.ru/
Социальные сети: https://vk.com/itmm_conf, https://t.me/itmm23

Уточняющие вопросы можно задать на почту оргкомитета: itmmconf@gmail.com

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

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

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

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

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

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

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

Подача документов возможна с 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

Доклады:

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

Марковская Ирина Александровна — О порождаемости группы GLn над кольцом целых чисел и над конечными полями тремя инволюциями, две из которых перестановочны.

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

Дата: 15.06.2023.

Доклады:

Литаврин Андрей Викторович, Моисеенкова Татьяна Владимировна — Об одном группоиде, ассоциированном с композицией многослойных нейронных сетей прямого распространения сигнала.

Созутов Анатолий Ильич — Изолированные подгруппы в группах.

Дата: 25.05.2023.

Доклад:

Смелых К.А. - Алгебраическая семантика: конструкции Тарского-Линденбаума.

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

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

Доклад:

Мукосий А.А. - Модальные логики конечных слоёв.

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

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

Доклад:

• Мукосий А.А. - Введение в алгебраическая семантика.
• Брылякова Е.В. - Модальные суперинтуиционистские логики. Взаимная выразимость операторов.

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

• Башмаков С.И.
• Смелых К.А.
• Поляков А.А.

Доклад:

Брылякова Е.В - Модальные суперинтуиционистские логики.

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

• Башмаков С.И.
• Смелых К.А.
• Мукосий А.А.
• Поляков А.А.

Доклад:

Мукосий А.А. - Алгебраический подход В. Джика к задачам унификации.

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

• Башмаков С.И.
• Смелых К.А.
• Брылякова Е.В.
• Поляков А.А.