Тверской государственный университет


Карта сайтаВерсия для слабовидящих

Контактная информация

170100, Россия,
Тверь, ул. Желябова, 33

Подробнее...

Главная страница  

Заведующий кафедрой информатики, профессор кафедры информатики

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

доктор физико-математических наук, доцент

Образование:
Тверской госуниверситет

Телефон:
(4822) 58-54-10

E-mail:
 

Окончил Тверской госуниверситет по специальности «Прикладная математика», получил квалификацию «Математик». После окончания Тверского госуниверситета в 1997 году работает в университете сначала ассистентом, с 2000 года — старшим преподавателем, с 2001 года — доцентом, с 2007 года — профессором кафедры информатики.

В 2000 г. защитил кандидатскую диссертацию в Московском госуниверситете им. М.В.Ломоносова по специальности 01.01.06 «Математическая логика, алгебра и теория чисел» и получил степень кандидата физико-математических наук.

В 2004 году присвоено ученое звание доцента по кафедре информатики.

В 2007 г. защитил докторскую диссертацию в Московском госуниверситете им. М.В.Ломоносова по специальности 01.01.06 «Математическая логика, алгебра и теория чисел» и в 2008 году получил степень доктора физико-математических наук.

С 2002  по 2010 год исполнял обязанности заместителя декана факультета прикладной математики и кибернетики по учебной работе и информатизации.

Заместитель главного редактора журнала «Вестник Тверского государственного университета. Серия: Прикладная математика» (издание ВАК РФ).

Сотрудник следующей кафедры

Сфера научных интересов

Список основных публикаций

  1. M.I. Dekhtyar, A. Ja. Dikovsky, S.M. Dudakov, N. Spyratos. Monotone Expansions of Updates in Logical Databases. Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99,El Paso, USA, Lecture Notes in Artificial Intelligence, v. 1370, 1999
  2. Dudakov S.M. On information content of hard sets. Proc. of intern. conf. on mathematical logic "Maltsev meeting" (extended abstarct). Novosibirsk, 1999
  3. Dudakov S.M. On the complexity of perfect models of logic programs. Fundamenta Informaticae. vol. 39(3) 1999
  4. Dekhtyar, M., Dikovsky, A., Dudakov, S. On Complexity of Updates Through Integrity Constraints. In : Proc. of the First Int. Conf. on Computational Logic (CL 2000), Lecture Notes in Artificial Intelligence, v. 1861, 2000
  5. Dudakov S.M. The logic program model updates complexity (deletion case). Proceeding of intern. conf. "Logic and application" (extended abstract). Novosibirsk, 2000.
  6. M. I. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos. Maximal Expansions of Database Updates. K.-D. Schewe, B. Thalheim (Eds.) Proc. of the First International Sympos. on Foundations of Information and Knowledge Systems (FoIKS 2000)Burg, Germany. Lecture Notes in Computer Science. 2000

Яндекс.Метрика  

Р Р?йтинг@Mail.ru