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

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

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

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

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

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

Email: admin@pdmi.ras.ru

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