Трансляционные результаты для языков запросов в теории баз данных СМ Дудаков, МА Тайцлин
Успехи математических наук 61 (2 (368), 3-66, 2006
30 * 2006 О методических аспектах разработки примерных образовательных программ высшего образования ИВ Захарова, СМ Дудаков, АВ Язенин, ИС Солдатенко
Образовательные технологии и общество 18 (3), 330-354, 2015
28 2015 Проектирование образовательных программ в области ИКТ с учетом профессиональных стандартов ИВ Захарова, СМ Дудаков, ИС Солдатенко
Инженерное образование, 140-144, 2017
23 * 2017 О разработке примерного учебного плана по УГНС" Компьютерные и информационные науки" в соответствии с профессиональными стандартами ИВ Захарова, СМ Дудаков, АВ Язенин
Вестник Тверского государственного университета. Серия: Педагогика и …, 2016
18 * 2016 О разработке магистерской программы по УГНС «Компьютерные и информационные науки» в соответствии с профессиональными стандартами ИВ Захарова, СМ Дудаков, АВ Язенин
Вестник Тверского государственного университета. Серия: Педагогика и …, 2016
17 * 2016 Monitoring Math Competency of IT Students SM Dudakov
16 * Трансляционная теорема для теорий -сводимых алгебраических систем СМ Дудаков
Известия Российской академии наук. Серия математическая 68 (5), 67-90, 2004
15 * 2004 Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением СМ Дудаков
Математические заметки 76 (3), 362-371, 2004
15 * 2004 О безопасности рекурсивных запросов СМ Дудаков
Вестник Тверского государственного университета. Серия: Прикладная …, 2012
13 * 2012 Monotone expansion of updates in logical databases M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos
Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999
13 1999 On undecidability of concatenation theory for one-symbol languages SM Dudakov
Lobachevskii Journal of Mathematics 41 (2), 168-175, 2020
12 2020 On inflationary fix-point operators safety SM Dudakov
Lobachevskii Journal of Mathematics 36 (4), 328-331, 2015
11 2015 Разрешимая теория без трансляционной теоремы СМ Дудаков
Вестник ТвГУ. Серия: Прикладная математика, 23-26, 2005
11 * 2005 Maximal expansions of database updates M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos
Foundations of Information and Knowledge Systems: First International …, 2000
11 2000 О безопасности IFP-операторов и рекурсивных запросов СМ Дудаков
Вестник Тверского государственного университета. Серия: Прикладная …, 2013
10 * 2013 On decidability of regular languages theories S Dudakov, B Karlov
Computer Science–Theory and Applications: 14th International Computer …, 2019
9 2019 Лекции по дискретной математике МИ Дехтярь, СМ Дудаков, БН Карлов
Тверь: Издательство Тверского государственного университета, 2021
8 2021 Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов СМ Дудаков
Вестник Тверского государственного университета. Серия: Прикладная …, 2019
8 * 2019 Сравнительный анализ образовательных стандартов ФГОС ВО 3+ и ФГОС ВО 3++ по направлению подготовки" Прикладная математика и информатика" ИВ Захарова, СМ Дудаков
Образовательные технологии и общество 22 (4), 96-105, 2019
8 2019 On methodological aspects of the development of exemplary educational programs of higher education IV Zakharova, SM Dudakov, AV Yazenin, IS Soldatenko
Educational Technology & Society 18 (3), 330-354, 2015
8 * 2015