RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Дудаков Сергей Михайлович

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 10

Статистика просмотров:
Эта страница:1253
Страницы публикаций:2616
Полные тексты:983
Списки литературы:240
доцент
доктор физико-математических наук (2007)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: сложность вычислений, свойства коллапса для языков, универсальный случайный граф, логика первого порядка, автоматный язык.

Основные темы научной работы

Теория сложности вычислений, теория языков первого порядка, теория баз данных.

Научная биография:

Окончил Тверской госуниверситет в 1997 году. В 2000 году защитил кандидатскую диссертацию (мехмат МГУ), в 2004 году присвоено звание доцента. В 2007 защитил докторскую диссертацию (мехмат МГУ), в 2008 присуждена ученая степень доктора физико-математических наук.

   
Основные публикации:
  • The Concurrency Complexity for the Horn Fragment of Linear Logic // Proc of the fourth Intern. Simp. LFCS97. Springer, 1997, pp. 78–87.
  • On the complexity of perfect models of logic programs // Fundamenta Informaticae, vol. 39(3), 1999, pp. 249–258.
  • On information content of hard sets // Proc. of intern. conf. on mathematical logic "Maltsev meeting" Novosibirsk, 1999, pp. 79–80.
  • Monotone Expansion of Updates in Logical Databases // Proc. of 5th International Conference LPNMR99, Berlin, Springer-Verlag, 1999, pp. 132–146.
  • Maximal Expansions of Database Updates // Proc. of FoIKS2000, LNCS, 1762, pp. 72–87.
  • On Complexity of Updates Through Integrity Constraints // Proc. of the First Int. Conf. on Computational Logic (CL 2000), LNAI, 1861 (2000), pp. 867–881.
  • The logic program model updates complexity (deletion case). // Proceeding of intern. conf. "Logic and application" (extended abstract). Novosibirsk, 2000.
  • Maximal state independent approximations to minimal real change // Annals of Mathematics and Artificial Intelligence 33(2–4), 2001, pp. 157–204.
  • Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности // Вестник ТвГУ, Тверь, 2003, с. 16–27.
  • Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением // Матем. заметки 2004, т. 76, вып. 3, c. 362–371.
  • Трансляционная теорема в предикатных обогащениях начального фрагмента нестандартных моделей арифметики Пресбургера // Сложные системы: обработка информации, моделирование и оптимизация, ТвГУ, Тверь, 2002, c. 24–38.
  • Трансляционная теорема для теорий I-сводимых алгебраических систем // Известия РАН, сер. математическая, 2004, т. 68, № 5, с. 67–90.
  • Разрешимая теория без трансляционной теоремы // Вестник ТвГУ. Серия Прикладная математика, № 6(12), 2005, с. 23–26.
  • Выразительная сила языков запросов первого порядка для баз данных на неупорядоченном случайном графе // Вестник НовГУ, Серия технические науки, № 34, 2005, с. 52–57.
  • Трансляционные результаты в теории баз данных // Успехи математических наук, № 61:2(368), 2006, с. 2–65.
  • Isolation and reducibility properties and the collapse result // Proc. of intern.conf. CSR-2006. LNCS 3967, Springer, 2006, p. 171–177.

http://www.mathnet.ru/rus/person15222
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/631519
http://elibrary.ru/author_items.asp?spin=2474-9802
http://orcid.org/0000-0003-2659-265X
http://www.researcherid.com/rid/B-2740-2014
http://www.scopus.com/authid/detail.url?authorId=6507617497

Публикации в базе данных Math-Net.Ru
2019
1. С. М. Дудаков, “Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов”, Вестник ТвГУ. Серия: Прикладная математика, 2019, 4,  108–116  mathnet  elib
2018
2. С. М. Дудаков, “О безопасности одно- и многоместных IFP-операторов”, Модел. и анализ информ. систем, 25:5 (2018),  525–533  mathnet
3. С. М. Дудаков, “О границах трансфинитного построения инфляционной неподвижной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2018, 3,  72–80  mathnet  elib
2017
4. С. М. Дудаков, “О выразительной силе логики одноместного транзитивного замыкания для дискретного порядка”, Вестник ТвГУ. Серия: Прикладная математика, 2017, 4,  25–33  mathnet  elib
2013
5. С. М. Дудаков, “О безопасности IFP-операторов и рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2013, 2,  5–13  mathnet
2012
6. С. М. Дудаков, “О безопасности рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2012, 4,  71–80  mathnet  elib
2011
7. С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011),  47–64  mathnet  mathscinet  zmath  elib; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932  isi  elib  scopus
2009
8. С. М. Дудаков, “Достаточные условия эффективной трансляции локально генерических запросов”, Фундамент. и прикл. матем., 15:5 (2009),  49–61  mathnet  mathscinet  elib; S. M. Dudakov, “Sufficient conditions for effective translation of locally generic queries”, J. Math. Sci., 172:5 (2011), 654–662  scopus
9. С. М. Дудаков, “Алгоритмическая сложность NP-трудных множеств”, Вестник ТвГУ. Серия: Прикладная математика, 2009, 13,  97–101  mathnet  elib
2008
10. С. М. Дудаков, “Эффективная трансляция расширенных $<$-инвариантных формул в $<$-ограниченные”, Вестник ТвГУ. Серия: Прикладная математика, 2008, 10,  5–24  mathnet  elib
11. С. М. Дудаков, “Эффективная трансляция расширенных $<$-инвариантных формул в $<$-ограниченные в арифметике Cеменова”, Вестник ТвГУ. Серия: Прикладная математика, 2008, 8,  65–75  mathnet  elib
2007
12. С. М. Дудаков, “Псевдоконечная однородность, изолированность и сводимость”, Матем. заметки, 81:4 (2007),  515–527  mathnet  mathscinet  zmath  elib; S. M. Dudakov, “Pseudofinite Homogeneity, Isolation, and Reducibility”, Math. Notes, 81:4 (2007), 456–466  isi  elib  scopus
2006
13. С. М. Дудаков, М. А. Тайцлин, “Трансляционные результаты для языков запросов в теории баз данных”, УМН, 61:2(368) (2006),  3–66  mathnet  mathscinet  zmath  elib; S. M. Dudakov, M. A. Taitslin, “Collapse results for query languages in database theory”, Russian Math. Surveys, 61:2 (2006), 195–253  isi  elib  scopus
2004
14. С. М. Дудаков, “Трансляционная теорема для теорий $I$-сводимых алгебраических систем”, Изв. РАН. Сер. матем., 68:5 (2004),  67–90  mathnet  mathscinet  zmath; S. M. Dudakov, “The collapse theorem for theories of $I$-reducible algebraic systems”, Izv. Math., 68:5 (2004), 911–933  isi  scopus
15. С. М. Дудаков, “Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением”, Матем. заметки, 76:3 (2004),  362–371  mathnet  mathscinet  zmath  elib; S. M. Dudakov, “Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition”, Math. Notes, 76:3 (2004), 339–347  isi  scopus
2003
16. С. М. Дудаков, “Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности”, Вестник ТвГУ. Серия: Прикладная математика, 2003, 1,  16–27  mathnet  elib

2013
17. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013),  54–65  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020