Заседание №95 (18 мая 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

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

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

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

Заседание №94 (4 мая 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

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

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

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

Заседание №93 (30 марта 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

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

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

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

Заседание №92 (23 марта 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

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

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

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

Заседание №91 (16 марта 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

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

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

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

Заседание №90 (9 марта 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

    К.А.Смелых - Лемма о порождающих подмоделях.

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

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

Оргвстреча с потенциальными участниками проекта Академия IT

В рамках набора на допобучение в Академии IT организуется информационное собрание со студентами IT-направлений Сибирского федерального университета. К участию приглашаются студенты 1 курса бакалавриата, в частности, студенты ИМиФИ.

В рамках встречи участники узнают подробнее:
• об образовательном проекте «Академия IT»;
• о преимуществах для обучающихся в рамках Академии.

Участники смогут задать интересующие вопросы представителям РУСАЛ.

Для тех, у кого нет возможности присутствовать очно на самом собрании, есть возможность подключиться в дистанционном формате. Ссылка для подключения к встрече в Google Meet: https://meet.google.com/ksi-tbcs-hzn

Подробнее о проекте: https://career.enplusrusal.ru/projects/akademiya-it-sibirskij-federalnyj...
Прием заявок в Академию IT продолжится до 9 июня 2023 г.

Дата события: 12 мая 2023 г., 16:00
Место проведения: ул. Киренского, 26Б, корпус №17, ауд. УЛК 1-12

770-е заседание

Доклады:

    Кравцова Ольга Вадимовна — Информация о конференциях.
    Литаврин Андрей Викторович — О биполярной классификации антиэндоморфизмов группоида и полугрудах антиэндоморфизмов.
    Нужин Яков Нифантьевич — О двух вопросах В. М. Левчука из Коуровской тетради.
    Дата: 20.04.2023.

769-е заседание

Доклад:

    Лихачёва Алёна Олеговна — Ковры и ковровые подгруппы групп Шевалле типов B_l, C_l, F_4 (кандидатская диссертация).
    Дата: 23.03.2023.

768-е заседание

Доклад:

    ДУРАКОВ Борис Евгеньевич — Группы с заданными системами фробениусовых подгрупп с инволюциями (кандидатская диссертация).
    Дата: 16.03.2023.

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

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram