Дудаков, Сергей Михайлович
Материал из Энциклопедия ТвГУ
Перейти к навигацииПерейти к поискуСергей Михайлович Дудаков | |
Дата рождения: | 1976г. |
Место рождения: |
Сергей Михайлович Дудаков - доктор физико-математических наук (2008 год), заведующий кафедрой информатики.
Содержание
Краткая биография
Образование – Тверской государственный университет (1997 год). Начало работы в Тверском государственном университете – 1997 год.
Область научных интересов
Математическая логика; логическое программирование; вычислительная и алгоритмическая сложность; теория баз данных; теория языков первого порядка.
Основные научные достижения
Исследование выразительных возможностей FO при вложении конечных систем в бесконечные.
Подготовил 1 кандидата наук.
Литература
- Ведущие ученые Тверского государственного университета. – Тверь: Твер. гос. ун-т, 2015