Архив новостей
Все новости
подробнее -->
 
 
 
 
Защита диссертации: Ульянцев Владимир Игоревич
Диссертационный совет: Д 212.227.06
Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Дата размещения диссертации: 09.10.2015
Дата защиты: 24.12.2015
Название диссертации: Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений
Файлы:

Название Файл Дата
1  Автореферат Скачать 21.10.2015
2  Диссертация Скачать 09.10.2015
3  Заключение диссертационного совета Скачать 29.12.2015
4  Объявление о защите Скачать 21.10.2015
5  Отзыв научного руководителя / консультанта Скачать 21.10.2015
6  Решение о приеме к защите Скачать 21.10.2015
7  Решение о присуждении ученой степени Скачать 25.12.2015
8  Список членов совета, присутствующих на заседании Скачать 25.12.2015
 


Ведущая организация
Название Отзыв Публикации
ФГБУН "Институт проблем управления им. В. А. Трапезникова" Российской академии наук  скачать
(08.12.2015) 
скачать 
Официальные оппоненты
Ф.И.О. Ученая степень Ученое звание Специальность Место работы Должность Отзыв Публикации
Волков Михаил Владимирович  доктор физико-математических наук  профессор    федеральное государственное автономное образовательное учреждение высшего профессионального образования "Уральский федеральный университет имени первого Президента России Б.Н. Ельцина"  заведующий кафедрой алгебры и дискретной математики  скачать
(08.12.2015) 
скачать 
Семенов Александр Анатольевич  кандидат технических наук  доцент    Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения РАН  заведующий лабораторией дискретного анализа и прикладной логики  скачать
(08.12.2015) 
скачать 
 


Отзывы на автореферат
Ф.И.О. Ученая степень Место работы Должность Отзыв
Дубинин В.Н.   Доктор технических наук   ФГБОУ ВПО "пензенский государственный университет"   профессор кафедры "Вычислительная техника"  скачать
(09.12.2015) 
Петленков Э.В.   PhD   Таллиннский Технический университет   руководитель учебной программы "Компьютерные системы"  скачать
(09.12.2015) 
 



Страница для печати: http://fppo.ifmo.ru/?page1=16&page2=52&page_d=1&page_d2=146361
 

 
Дополнительно