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