Дудаков, Сергей Михайлович

Материал из Энциклопедия ТвГУ
Версия от 14:52, 28 ноября 2015; Vostrov.n (обсуждение | вклад) (Новая страница: «{{Персона_без_смерти |Имя=Сергей Михайлович Дудаков |image=Файл:Дудаков С М.jpg|200px|center|alt=Серг…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к навигацииПерейти к поиску
Сергей Михайлович Дудаков
Сергей Михайлович Дудаков
Дата рождения: 1976г.
Место рождения:

Сергей Михайлович Дудаков - доктор физико-математических наук (2008 год), заведующий кафедрой информатики.

Краткая биография

Образование – Тверской государственный университет (1997 год). Начало работы в Тверском государственном университете – 1997 год.

Область научных интересов

Математическая логика; логическое программирование; вычислительная и алгоритмическая сложность; теория баз данных; теория языков первого порядка.

Основные научные достижения

Исследование выразительных возможностей FO при вложении конечных систем в бесконечные.

Подготовил 1 кандидата наук.

Литература

  • Ведущие ученые Тверского государственного университета. – Тверь: Твер. гос. ун-т, 2015