Старчак Михаил Романович / Mikhail R. Starchak

Дата публикации: 04 мая 2022.

Диссертация на соискание ученой степени кандидата физико-математических наук / 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

Дата и время проведения защиты диссертации на соискание ученой степени / Date & time: 16.11.2022, 15:00

Место проведения заседания: Санкт-Петербург, Университетская наб., д. 7–9–11, лит. В, ауд. 191 / Venue: 11 Universitetskaya emb.

Заявление (.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)

Приказ № 8312/1 от 27.07.2022 «Об утверждении состава диссертационного совета по защите диссертации Старчака М. Р.» (.pdf) (27.07.2022)

Приказ № 8626/1 от 11.08.2022 «О проведении заседания диссертационного совета по защите диссертации Старчака М. Р.» (.pdf) (12.08.2022)

Отзыв А. С. Охотина (.pdf) (03.11.2022)