Диссертация:
Нижние оценки и вопросы оптимальности для систем доказательств
На соискание учёной степени:
доктора наук
Специальность:
01.01.06 - математическая логика, алгебра и теория чисел
Диссертационный совет:
Адрес:
Федеральное государственное бюджетное учреждение науки Санкт-Петербургское отделение Математического института им.В.А.Стеклова Российской академии наук
191023, Санкт-Петербург, наб.р.Фонтанки, д.27, ПОМИ РАН
Тел.: (812) 312-40-58
Email: admin@pdmi.ras.ru
Решение совета о приеме диссертации к защите:
Дата защиты диссертации:
15 June, 2022
Время начала защиты диссертации:
16:00
Автореферат:
Дата размещения автореферата:
10 March, 2022
Диссертация:
Дата размещения диссертации:
Monday, 31 January 2022
Ведущая организация:
ФГАОУ ВО «Уральский федеральный университет имени первого Президента России Б.Н. Ельцина»
Сведения о ведущей организации:
Отзыв ведущей организации:
Дата отзыва:
5 May, 2022
Оппонент:
Григорьев Дмитрий Юрьевич, доктор физ.-мат. наук
Сведения об оппоненте:
Отзыв:
Дата отзыва:
5 May, 2022
Оппонент:
Верещагин Николай Константинович, доктор физ.-мат. наук, профессор, профессор МГУ
Сведения об оппоненте:
Отзыв:
Дата отзыва:
27 April, 2022
Оппонент:
Разборов Александр Александрович, доктор физ.-мат. наук, член-корреспондент РАН, главный научный сотрудник МИАН
Отзыв:
Дата отзыва:
30 May, 2022
Результаты защиты:
Присутствовало на заседании 19 из 24 членов Совета, в том числе 5 членов совета в удаленном режиме, докторов наук по профилю рассматриваемой диссертации 7. Результаты тайного электронного голосования по вопросу о присуждении ученой степени доктора физико-математических наук Ицыксону Дмитрию Михайловичу: за: 18, против: 1
Члены совета присутствовавшие на защите:
Заключение диссертационного совета:
Русский
English