758-е заседание: Подсекция «Алгебра, математическая логика и дискретная математика» секции «Фундаментальная математика» международная конференция молодых учёных «ПРОСПЕКТ СВОБОДНЫЙ — 2022»

Доклады:

    ПРОЦЕНКО Никита Александрович — Семантика Крипке для модальной логики.
    ПАХОМОВА Анастасия Дмитриевна — Гомоморфизмы системы корней алгебр Ли типа D_4.
    ДЕКТЯРЕВ Максим Валерьевич — Гомоморфизмы системы корней алгебры Ли исключительного типа E_6.
    ХИСМАТУЛИН Денис Ринатович — Гомоморфизмы системы корней алгебры Ли типа A_n.
    МУКОСИЙ Александр Алексеевич — К деревьям унификаторов.
    СМЕЛЫХ Кирилл Александрович — Семантическое определение логики CTL.
    ЛОГИНОВА Валерия Сергеевна — Построение линейных автоморфизмов конечный квазиполей методом регулярного множества.
    СОКОЛОВСКАЯ Анна Максимовна — О числе порождающих инволюций неприводимых матричных групп малых размерностей над полем характеристики, не равной 2.
    ГВОЗДЕВ Родион Игоревич — Порождающие множества сопряжённых инволюций групп SLn(9) при n больше либо равном 9.
    ПЕТРУТЬ Татьяна Сергеевна — О числе порождающих инволюций неприводимых матричных групп малых размерностей над полем характеристики равной 2.
    СТЕПАНОВА Александра Юрьевна — Представление эндоморфизмов конечных примарных групп матрицами.
    СКОК Дарья Сергеевна — Линейные автотопизмы порядка 4 полуполевой проективной плоскости ранга 2.
    ДОНЕЦ Екатерина Александровна — Унификация в предтабличных расширениях логики INT.
    ЗВЕРЕВА Татьяна Юрьевна — Вопросы унификации, финитной аппроксимирумости и семантическая характеризация временной логики знания с универсальной модальностью LTK.SLU.
    ДУРАКОВ Борис Евгеньевич — О бесконечных группах, насыщенных конечными группами Фробениуса с инволюциями.

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

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