Старчак Михаил Романович / 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)

 

Метки: Предстоящие защиты

Печать E-mail

Короткие ссылки на go.spbu.ru: https://go.spbu.ru/22a040502