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