Диссертация:
Оценки сложности вывода в системах доказательств, основанных на методе резолюций
На соискание учёной степени:
кандидата наук
Специальность:
01.01.06 - математическая логика, алгебра и теория чисел
Диссертационный совет:
Адрес:
Федеральное государственное бюджетное учреждение науки Санкт-Петербургское отделение Математического института им.В.А.Стеклова Российской академии наук
191023, Санкт-Петербург, наб.р.Фонтанки, д.27, ПОМИ РАН
Тел.: (812) 312-40-58
Email: admin@pdmi.ras.ru
Решение совета о приеме диссертации к защите:
Дата защиты диссертации:
30 ноября, 2016
Автореферат:
Дата размещения автореферата:
29 сентября, 2016
Диссертация:
Дата размещения диссертации:
понедельник, 26 сентября 2016
Научный руководитель:
Ицыксон Дмитрий Михайлович, кандидат физико-математических наук, ученый секретарь ПОМИ РАН, доцент кафедры математических и информационных технологий Санкт-Петербургского Национального Исследовательского Академического Университета РАН
Отзыв научного руководителя:
Дата отзыва:
2 сентября, 2016
Ведущая организация:
Федеральное государственное автономное учреждение высшего образования Национальный Исследовательский Университет “Высшая школа экономики”
Сведения о ведущей организации:
Отзыв ведущей организации:
Дата отзыва:
25 октября, 2016
Оппонент:
Шур Арсений Михайлович, доктор физико-математических наук, профессор Уральского Федерального Университета им. первого президента России Б.Н. Ельцина
Сведения об оппоненте:
Отзыв:
Дата отзыва:
10 ноября, 2016
Оппонент:
Шень Александр Ханьевич, кандидат физико-математических наук, cтарший научный сотрудник Института проблем передачи информации им. А.А.Харкевича
Сведения об оппоненте:
Отзыв:
Дата отзыва:
7 ноября, 2016
Результаты защиты:
Присутствовало на заседании 16 из 23 членов Совета, в том числе докторов наук по профилю рассматриваемой диссертации 6. Результаты голосования по вопросу о присуждении ученой степени кандидата физико-математических наук Опарину Всеволоду Вячеславовичу: за: 16, против: нет, недействительных бюллетеней: нет.
Члены совета присутствовавшие на защите:
Заключение диссертационного совета: