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

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

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

Main menu

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

Добавить комментарий

СОКОЛОВ Дмитрий Олегович. "Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении"

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

Федеральное государственное бюджетное учреждение науки

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

191023, Санкт-Петербург, наб.р.Фонтанки, д.27, ПОМИ РАН

Тел.: (812) 312-40-58

Email: admin@pdmi.ras.ru

Решение совета о приеме диссертации к защите: 
Иконка PDF _о приеме к защите.pdf
Дата защиты диссертации: 
4 марта, 2015
Автореферат: 
Иконка PDF автореферат диссертации
Дата размещения автореферата: 
28 декабря, 2014
Диссертация: 
Иконка PDF текст диссертации
Дата размещения диссертации: 
четверг, 18 декабря 2014
Научный руководитель: 
Гирш Эдуард Алексеевич, доктор физико-математических наук, ведущий научный сотрудник лаборатории математической логики ФГБУН ПОМИ РАН
Отзыв научного руководителя: 
Иконка PDF отзыв Э.А. Гирша
Отзыв второго научного руководителя: 
Иконка PDF отзыв Д.М. Ицыксона
Ведущая организация: 
ФГАОУВПО “Казанский (Приволжский) федеральный универ­ситет”
Сведения о ведущей организации: 
Иконка документа Microsoft Office сведения о ведущей организации
Отзыв ведущей организации: 
Иконка PDF Отзыв ведущей организации
Дата отзыва: 
13 февраля, 2015
Оппонент: 
Райгородский Андрей Михайлович, доктор физико-математических наук, профессор ФГОУ ВПО “Московский Государственный Университет им. М.В. Ломоносова”
Сведения об оппоненте: 
Иконка документа Microsoft Office сведения о Райгородском А.М.
Отзыв: 
Иконка PDF Отзыв А.М. Райгородского
Дата отзыва: 
10 февраля, 2015
Оппонент: 
Шень Александр Ханьевич, кандидат физико-математических наук, старший научный сотрудник лаборатории No 1 им. М.С. Пинскера ФГБУН Института проблем передачи информации им. А.А. Харкевича Российской академии наук
Сведения об оппоненте: 
Иконка документа Microsoft Office сведения о Шене А.Х.
Отзыв: 
Иконка PDF Отзыв А.Х. Шеня
Дата отзыва: 
10 февраля, 2015
Результаты защиты: 
Присутствовало на заседании 19 из 23 членов Совета, в том числе докторов наук по профилю рассматриваемой диссертации 6 (по специальности 01.01.09) и 8 (по специальности 01.01.06). Результаты голосования по вопросу о присуждении ученой степени кандидата физико-математических наук Соколову Дмитрию Олеговичу: за: 19, против: нет, недействительных бюллетеней: нет.
Члены совета присутствовавшие на защите: 
Файл Список присутствовавших на заседании членов совета
Заключение диссертационного совета: 
Иконка PDF Заключение по диссертации Д.О. Соколова
  • Добавить комментарий
Содержимое данного поля является приватным и не предназначено для показа.
Switch to plain text editor

Более подробная информация о текстовых форматах

Формат по умолчанию

  • Адреса страниц и электронной почты автоматически преобразуются в ссылки.
  • Допустимые HTML-теги: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd> <hr> <b> <i> <h2> <h3> <br>
  • Строки и абзацы переносятся автоматически.
  • Mathematics inside the configured delimiters is rendered by MathJax. The default math delimiters are $$...$$ and \[...\] for displayed mathematics, and $...$ and \(...\) for in-line mathematics.
  • Each email address will be obfuscated in a human readable fashion or, if JavaScript is enabled, replaced with a spam resistent clickable link. Email addresses will get the default web form unless specified. If replacement text (a persons name) is required a webform is also required. Separate each part with the "|" pipe symbol. Replace spaces in names with "_".

Plain text

  • HTML-теги не обрабатываются и показываются как обычный текст
  • Адреса страниц и электронной почты автоматически преобразуются в ссылки.
  • Строки и абзацы переносятся автоматически.

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

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

COVID-19

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

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

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

– = +