Опарин Всеволод Владиславович. Оценки сложности вывода в системах доказательств, основанных на методе резолюций

Автор: 
Опарин Всеволод Владиславович
Диссертация: 
Оценки сложности вывода в системах доказательств, основанных на методе резолюций
На соискание учёной степени: 
кандидата наук
Специальность: 
01.01.06 - математическая логика, алгебра и теория чисел
Диссертационный совет: 
Д 002.202.02
Адрес: 

Федеральное государственное бюджетное учреждение науки Санкт-Петербургское отделение Математического института им.В.А.Стеклова Российской академии наук
191023, Санкт-Петербург, наб.р.Фонтанки, д.27, ПОМИ РАН
Тел.: (812) 312-40-58
Email: admin@pdmi.ras.ru

Решение совета о приеме диссертации к защите: 
PDF icon _принятие к защите.pdf
Дата защиты диссертации: 
30 November, 2016
Автореферат: 
PDF icon Автореферат диссертации
Дата размещения автореферата: 
29 September, 2016
Диссертация: 
PDF icon Текст диссертации
Дата размещения диссертации: 
Monday, 26 September 2016
Научный руководитель: 
Ицыксон Дмитрий Михайлович, кандидат физико-математических наук, ученый секретарь ПОМИ РАН, доцент кафедры математических и информаци­онных технологий Санкт-Петербургского Национального Исследовательского Академического Университета РАН
Отзыв научного руководителя: 
PDF icon отзыв Д.М.Ицыксона
Дата отзыва: 
2 September, 2016
Ведущая организация: 
Федеральное государственное автономное учреждение высшего образования Национальный Исследовательский Университет “Высшая школа экономики”
Сведения о ведущей организации: 
File Сведения о НИУ ВШЭ
Отзыв ведущей организации: 
PDF icon Отзыв НИУ ВШЭ
Дата отзыва: 
25 October, 2016
Оппонент: 
Шур Арсений Михайлович, доктор физико-математических наук, профессор Уральского Федерального Университета им. первого президента России Б.Н. Ельцина
Сведения об оппоненте: 
File Сведения о Шуре А.М.
Отзыв: 
PDF icon Отзыв Шура А.М.
Дата отзыва: 
10 November, 2016
Оппонент: 
Шень Александр Ханьевич, кандидат физико-математических наук, cтарший научный сотрудник Института проблем передачи информации им. А.А.Харкевича
Сведения об оппоненте: 
File Сведения о Шене А.Х.
Отзыв: 
PDF icon Отзыв Шеня А.Х.
Дата отзыва: 
7 November, 2016
Результаты защиты: 
Присутствовало на заседании 16 из 23 членов Совета, в том числе докторов наук по профилю рассматриваемой диссертации 6. Результаты голосования по вопросу о присуждении ученой степени кандидата физико-математических наук Опарину Всеволоду Вячеславовичу: за: 16, против: нет, недействительных бюллетеней: нет.
Члены совета присутствовавшие на защите: 
File Список
Заключение диссертационного совета: 
PDF icon Заключение по диссертации Опарина В.В.