Старчак Михаил Романович / Mikhail R. Starchak
Диссертация на соискание ученой степени кандидата физико-математических наук / Thesis for the degree of Candidate of Physical and Mathematical Sciences
Научная специальность 1.1.5. Математическая логика, алгебра, теория чисел и дискретная математика / Scientific speciality 1.1.5. Mathematical logic, algebra, number theory and discrete mathematics
Тема: «Алгоритмы квазиэлиминации кванторов и вопросы выразимости в арифметиках с делимостью» / Theme: Quasi-Quantifier Elimination Algorithms and Definability Problems in Arithmetics with Divisibility
Заявление (.pdf) (04.05.2022)
Диссертация / Dissertation (.pdf) (04.05.2022)
Список публикаций (.pdf) (04.05.2022)
Отзыв научного руководителя (.pdf) (04.05.2022)
Объявление о начале формирования состава диссертационного совета (.pdf) (04.05.2022)
Список кандидатов в члены диссертационного совета (.pdf) (06.06.2022)
Приказ № 6777/1 от 08.06.2022 «О принятии к защите диссертации Старчака М. Р.» (.pdf) (09.06.2022)
Метки: Предстоящие защиты
- Короткие ссылки на go.spbu.ru: https://go.spbu.ru/22a040502