Перейти к основному содержанию
Главная

Санкт-Петербургское отделение
Математического института
им. В.А.Стеклова РАН

наб. р. Фонтанки 27, Санкт-Петербург, 191023

Main menu

  • Новости
  • Структура института
    • Администрация
    • Институт им. Эйлера
    • Лаборатории
    • Научные сотрудники
    • Учёный совет
    • Научно-образовательный центр
    • Информационно-издательский сектор
    • Контакты
  • Деятельность института
    • Конференции
    • Семинары
    • Диссертационный совет Д 002.202.01
    • Диссертационный совет Д 002.202.02
    • Журнал "Алгебра и анализ"
    • Записки научных семинаров
    • Препринты
    • Публикации
    • Аспирантура
    • Противодействие коррупции
  • Ресурсы
    • Клуб сотрудников ПОМИ
    • Библиотека ПОМИ
    • Видеоматериалы
    • История института
    • Электронные библиотеки
    • Поступающим в аспирантуру
    • Ссылки
    • Научные сотрудники прошлых лет
    • Воспоминания об О.А. Ладыженской
  • Сотрудникам
    • Информация для сотрудников
    • Расписание аудиторий
    • Шаблоны документов бухгалтерии
    • Шаблоны документов отдела кадров
  • Вакансии
  • Поиск

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

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

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

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

  • Русский Русский
  • English English

Противодействие коррупции

COVID-19

QR код с информацией о коронавирусе

Для слабовидящих

 

Размер шрифта

– = +