ФИО выпускника | Алексеев Ярослав Юрьевич |
---|---|
Направление подготовки (специальность) | 01.03.01 Математика |
Квалификация | Бакалавр |
Наименование ВКР | Алгебраические и полуалгебраические системы доказательств, использующие алгебраические схемы |
Статус | Опубликована |
ФИО научного руководителя | доктор физико-математических наук, доцент Э.А.Гирш |
Год | 2020 |