21.12.2006: Защита докторской диссертации В.Б.Новосельцева

21.12.06 в Томском государственном университете состоялась успешная защита докторской диссертации Виталия Борисовича Новосельцева «Формальная теория структурных моделей описания информационных систем и методы установления выводим
21 декабря 2006 в Томском государственном университете состоялась успешная защита диссертации Виталия Борисовича НОВОСЕЛЬЦЕВА «Формальная теория структурных моделей описания информационных систем и методы установления выводимости» представленная на соискание ученой степени доктора физико-математических наук по специальности 05.13.01 — «системный анализ, управление и обработка информации».

Работа выполнена на кафедре оптимизации систем управления Томского политехнического университета.

Официальные оппоненты:

• ЖДАНОВ Александр Аркадьевич, доктор физико-математических наук, профессор;
• МАТРОСОВА Анжела Юрьевна, доктор технических наук, профессор;
• ТИМЧЕНКО Сергей Викторович, доктор физико-математических наук, профессор.

Ведущая организация: Институт математики им. С.Л. Соболева Сибирского отделения РАН.
Автореферат: http://vak.ed.gov.ru/announcements/fiz_mat/Novosel'tsevVB.doc