ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель:
Кушик Наталья Геннадьевна
Шифр совета:
Д 212.267.12
Вид диссертации:
докторская
Тема диссертации
:
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов
Специальность:
05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) по физико-математическим наукам
Работа выполнена в Национальном исследовательском Томском государственном университете
Научный консультант:
д-р техн. наук, профессор Евтушенко Нина Владимировна
Дата защиты:
12/14/2016 г.
Место защиты:
г. Томск, пр. Ленина, 36, учебный корпус № 2 ТГУ, ауд. 212Б
Официальный оппонент:
д-р физ.-мат. наук, ст. науч. сотр. Бурдонов Игорь Борисович
ведущий научный сотрудник отдела «Технологии программирования», Институт системного программирования Российской академии наук, г. Москва
Официальный оппонент:
д-р физ.-мат. наук, профессор Волков Михаил Владимирович
главный научный сотрудник лаборатории комбинаторной алгебры, Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, г. Екатеринбург
Официальный оппонент:
д-р техн. наук, профессор Бандман Ольга Леонидовна
главный научный сотрудник лаборатории синтеза параллельных программ, Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
Ведущая организация:
Ярославский государственный университет им. П.Г. Демидова, г. Ярославль
Диссертация
Открыть
, размещено 27.06.2016 г.
Сведения о научном консультанте (консультантах)
Открыть
, размещено 05.09.2016 г.
Отзыв научного консультанта (консультантов)
Открыть
, размещено 05.09.2016 г.
Решение о принятии к защите
Открыть
, размещено 05.09.2016 г.
Автореферат
Открыть
, размещено 05.09.2016 г.
Сведения об официальных оппонентах,
согласия на назначение
Открыть
, размещено 05.09.2016 г.
Открыть
, размещено 05.09.2016 г.
Открыть
, размещено 05.09.2016 г.
Отзывы официальных оппонентов
Открыть
, размещено 17.11.2016 г.
Открыть
, размещено 29.11.2016 г.
Открыть
, размещено 01.12.2016 г.
Сведения о ведущей организации,
согласие на назначение
Открыть
, размещено 05.09.2016 г.
Отзыв ведущей организации
Открыть
, размещено 01.12.2016 г.
Отзывы на автореферат
Открыть
, размещено 06.12.2016 г.
Открыть
, размещено 12.12.2016 г.
Открыть
, размещено 12.12.2016 г.
Открыть
, размещено 13.12.2016 г.
Открыть
, размещено 13.12.2016 г.
Сведения о результатах защиты диссертации
Открыть
, размещено 27.12.2016 г.