ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель:
Новосельцев Виталий Борисович
Шифр совета:
Д 212.267.12
Вид диссертации:
докторская
Тема диссертации
:
Формальная теория структурных моделей описания информационных систем и методы установления выводимости
Специальность:
05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) по физико-математическим наукам
Научный руководитель:
Руководитель не известен
Дата защиты:
12/21/2006 г.
Место защиты:
в Главном корпусе ТГУ.
Официальный оппонент:
д-р физ.-мат. наук Жданов Александр Аркадьевич
, ИСП РАН, Москва
Официальный оппонент:
д-р техн. наук Матросова Анжела Юрьевна
, ТГУ, Томск
Официальный оппонент:
д-р физ.-мат. наук Тимченко Сергей Викторович
, ТУСУР, Томск
Ведущая организация:
Институт математики им С.Л.Соболева СО РАН, г. Новосибирск
Диссертация
Материалов нет
Решение о принятии к защите
Материалов нет
Автореферат
Открыть
Сведения об официальных оппонентах,
согласия на назначение
Материалов нет
Отзывы официальных оппонентов
Материалов нет
Сведения о ведущей организации,
согласие на назначение
Материалов нет
Отзыв ведущей организации
Материалов нет
Отзывы на автореферат
Материалов нет
Сведения о результатах защиты диссертации
Материалов нет