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