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

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

Печать E-mail

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