ИСТИНА

Жук Дмитрий Николаевич пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, старший научный сотрудник, с 1 октября 2009

кандидат физико-математических наук с 2010 года

Соавторы: Barnaby M., Галатенко А.В., Моисеев С.В., Barto L., Behrisch M., Brady Z., Bulatov A., Catarina C., Kazda A., Kerkhoff S., Kozik M., OPRŠAL J., VALERIOTE M. показать полностью..., Vargas-García E., Голиков К.А., Дергач П.С., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л., Миронов А.М., Нерсисян С.А., Подколзин А.С., Присмотров Ю.Н.

39 статей, 1 книга, 44 доклада на конференциях, 5 НИР, 5 наград, 1 членство в программном комитете, 4 дипломные работы, 4 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 49, Scopus: 86

IstinaResearcherID (IRID): 2597470

Деятельность

• Статьи в журналах

  • 
    • 2021 Existence of cube terms in finite algebras
    • Kazda Alexandr, Zhuk Dmitriy
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 82, № 1 DOI
  • 
    • 2021 Strong Subalgebras and the Constraint Satisfaction Problem
    • ZHUK D.
    • в журнале Journal of Multiple-Valued Logic and Soft Computing, издательство Old City Publishing, Inc. (United States), том 36, № 4/5, с. 455-504
  • • 2021 Сложность задачи удовлетворения ограничениям и её вариаций
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 25, № 4, с. 28-35
  • 
    • 2020 A Proof of the CSP Dichotomy Conjecture
    • Zhuk Dmitriy
    • в журнале Journal of the ACM, издательство Association for Computing Machinery, Inc. (United States), том 67, № 5, с. 1-78 DOI
  • 
    • 2020 DECIDING THE EXISTENCE OF MINORITY TERMS
    • KAZDA ALEXANDR, OPRŠAL JAKUB, VALERIOTE MATT, ZHUK DMITRIY
    • в журнале Canadian Mathematical Bulletin, издательство Canadian Mathematical Society (Canada), том 63, № 3, с. 577-591 DOI
  • • 2019 NP-Hardness of the Problem of Optimal Box Positioning
    • Galatenko Alexei V., Nersisyan Stepan A., Zhuk Dmitriy N.
    • в журнале Mathematics, издательство MDPI (Basel, Switzerland), том 7, № 8 DOI
  • 
    • 2019 The Number of Clones Determined by Disjunctions of Unary Relations
    • Behrisch Mike, Vargas-García Edith, Zhuk Dmitriy
    • в журнале Theory of Computing Systems, издательство Springer Verlag (Germany), том 63, № 6, с. 1298-1313 DOI
  • 
    • 2019 The size of generating sets of powers
    • Dmitriy Zhuk
    • в журнале Journal of Combinatorial Theory - Series A, издательство Academic Press (United States), том 167, с. 91-103 DOI
  • • 2019 Четыре вида подалгебр и сложность задачи удовлетворения ограничениям
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 4, с. 135-136
  • • 2018 “Доклады семинара «Теория автоматов»”
    • Ищенко Р.А., Подколзин А.С., Жук Д.Н., Моисеев С.В., Миронов А.М., Голиков К.А., Дергач П.С., Галатенко А.В., Мазуренко И.Л., Коновалов А.Ю., Курганов Е.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 137-142
  • 
    • 2017 Key (critical) relations preserved by a weak near-unanimity function
    • Zhuk D.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 77, № 2, с. 191-235 DOI
  • 
    • 2014 The existence of a near-unanimity function is decidable
    • Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 71, № 1, с. 31-54 DOI
  • 
    • 2014 The generation of clones with majority operations
    • Kerkhoff S., Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 72, № 1, с. 71-80 DOI
  • 
    • 2014 The lattice of the clones of self-dual functions in three-valued logic
    • Zhuk D.
    • в журнале Journal of Multiple-Valued Logic and Soft Computing, издательство Old City Publishing, Inc. (United States), том 24, № 1-4, с. 251-316
  • • 2013 Решетка замкнутых классов самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 302-309
  • 
    • 2012 The cardinality of the set of all clones containing a given minimal clone on three elements
    • Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 68, № 3, с. 295-320
  • 
    • 2011 The predicate method to construct the Post lattice
    • Zhuk D.N.
    • в журнале Discrete Mathematics and Applications, издательство de Gruyter (Germany), том 21, № 3, с. 329-344 DOI
  • • 2011 Критерий разрешимости проблемы А-полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 439, № 1, с. 18-20
  • • 2011 Предикатный метод построения решетки Поста
    • Жук Д.Н.
    • в журнале Дискретная математика, издательство Наука (М.), том 23, № 2, с. 115-128
  • • 2011 Структура замкнутых классов в предполном классе самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 437, № 6, с. 738-742
  • 
    • 2010 Cardinality of the set of all precomplete classes for definite automata
    • Zhuk D.N.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 169, № 4, с. 430-434
  • 
    • 2010 On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata
    • Zhuk D.N.
    • в журнале Discrete Mathematics and Applications, издательство de Gruyter (Germany), том 20, № 3, с. 337-355
  • • 2010 О классификации автоматных базисов Поста по разрешимости свойств A-полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Дискретная математика, издательство Наука (М.), том 22, № 2, с. 80-95
  • 
    • 2009 Континуальность множества предполных классов в классе дефинитных автоматов
    • Жук Д.Н.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, № 4, с. 29-36
  • • 2009 Разрешимые случаи задачи об A-полноте для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 13, с. 1-4
  • • 2008 О неразрешимости проблемы полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 12, с. 211-228
  • • 2007 О проблеме полноты в классе автоматов без обратной связи
    • Жук Д.Н., Присмотров Ю.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 11, с. 439-472

• Статьи в сборниках

  • • 2021 Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
    • Barto Libor, Brady Zarathustra, Bulatov Andrei, Kozik Marcin, Zhuk Dmitriy
    • в сборнике 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), место издания IEEE DOI
  • 
    • 2021 No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
    • Zhuk Dmitriy
    • в сборнике 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), место издания IEEE, с. 1-7 DOI
  • • 2020 QCSP monsters and the demise of the Chen conjecture
    • Zhuk Dmitriy, Martin Barnaby
    • в сборнике Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, издательство ACM (New York, N.Y., United States) DOI
  • • 2017 A Proof of CSP Dichotomy Conjecture
    • Zhuk D.
    • в сборнике Proceedings of the IEEE Annual Symposium on Foundations of Computer Science (FOCS), издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States)
  • • 2017 An algorithm for constraint satisfaction problem
    • Zhuk D.
    • в сборнике In Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017) DOI
  • 
    • 2017 The Complexity of Quantified Constraints Using the Algebraic Formulation
    • Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
    • в сборнике 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, серия Leibniz International Proceedings in Informatics (LIPIcs), место издания Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany, том 83, с. 27:1-27:14 DOI
  • • 2015 О ключевых предикатах k-значной логики
    • Жук Д.Н.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • 
    • 2014 On key relations preserved by a weak near-unanimity function
    • Zhuk D.N.
    • в сборнике IEEE 44th International Symposium on Multiple-Valued Logic, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), с. 61-66 DOI
  • • 2014 О замкнутых классах функций, содержащих функцию почти единогласия
    • Жук Д.Н.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 89-92
  • 
    • 2013 On the Clones Containing a Near-Unanimity Function
    • Zhuk D.N., Moiseev S.V.
    • в сборнике Proceedings of the 2013 IEEE 43rd International Symposium on Multiple-Valued Logiс, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), с. 129-134 DOI
  • 
    • 2012 The Cardinality of the Set of All Clones Containing a Given Minimal Clone
    • Zhuk D.
    • в сборнике Proceedings of the IEEE 42nd International Symposium on Multiple-Valued Logic, место издания IEEE, с. 281-286 DOI
  • 
    • 2011 The lattice of the clones of self-dual functions in three-valued logic
    • Zhuk D.
    • в сборнике Proceedings of the IEEE 41nd International Symposium on Multiple-Valued Logic, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), с. 193-197 DOI

• Книги

  • • 2011 Решетка замкнутых классов самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • место издания Издательство МГУ Москва, ISBN 978-5-211-05969-6, 109 с.

• Доклады на конференциях

  • • 2021 Сложность задачи удовлетворения ограничениям и её вариаций (Пленарный)
    • Автор: Жук Д.Н.
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2021 Quantified Constraint Satisfaction Problem: towards the classification of complexity (Приглашенный)
    • Автор: Zhuk D.
    • 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Марсель, Франция, 2-6 ноября 2021
  • • 2021 Constraint Satisfaction Problem: known results and open problems (Устный)
    • Автор: Zhuk D.
    • Конференция международных математических центров, Сочи, Россия, 9-13 августа 2021
  • • 2021 Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP (Устный)
    • Авторы: Libor Barto, Brady Zarathustra, Bulatov Andrei, Kozik Marcin, Zhuk Dmitriy
    • 36th Annual Symposium on Logic in Computer Science 29 June – 02 July, 2021, Rome, Italy (online), Италия, 29 июня - 2 июля 2021
  • • 2021 No-Rainbow Problem and the Surjective Constraint Satisfaction Problem (Устный)
    • Автор: Zhuk D.
    • 36th Annual Symposium on Logic in Computer Science 29 June – 02 July, 2021, Rome, Italy (online), Италия, 29 июня - 2 июля 2021
  • • 2021 Strong Subalgebras and the Constraint Satisfaction Problem (Приглашенный)
    • Автор: Zhuk D.
    • Homogeneous Structures: Model Theory meets Universal Algebra, online meeting, Германия, 3-9 января 2021
  • • 2020 A proof of the CSP Dichotomy Conjecture (Приглашенный)
    • Автор: Zhuk D.
    • Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), онлайн, Германия, 8-11 июля 2020
  • • 2020 QCSP monsters and the demise of the Chen Conjecture (Устный)
    • Авторы: Dmitriy Zhuk, (Durham University) Barnaby Martin
    • ACM Symposium on Theory of Computing, Chicago, IL, USA, США, 22-26 июня 2020
  • • 2020 Why CSP is easy (Приглашенный)
    • Автор: ZHuk D.
    • AAA99 - workshops on general algebra, Siena, Italy, Италия, 21-23 февраля 2020
  • • 2020 Four types of subuniverses and the complexity of the constraint satisfaction problem. (Устный)
    • Автор: zhuk d.
    • Joint AMS-MAA Mathematics Meeting, Colorado Convention Center, Denver, CO, США, 15-18 января 2020
  • • 2019 On the complexity of the Quantified Constraint Satisfaction Problem (Пленарный)
    • Автор: Жук Д.Н.
    • Проблемы теоретической информатики 2019, Высшая Школа Экономики, the Laboratory of Theoretical Computer Science, Россия, 29 ноября - 1 декабря 2019
  • • 2019 A proof of CSP Dichotomy Conjecture (Приглашенный)
    • Автор: Zhuk D.
    • The 14th International Computer Science Symposium in Russia, Новосибирск, Россия, Россия, 1-5 июля 2019
  • • 2019 The complexity of the Quantified Constraint Satisfaction Problem on a 3-element set (Устный)
    • Автор: Zhuk D.
    • AAA 98 (Arbeitstagung Allgemeine Algebra) Workshop on General Algebra., Dresden, Германия, 21-23 июня 2019
  • • 2019 On the complexity of the Quantified Constraint Satisfaction Problem (Устный)
    • Автор: Zhuk D.
    • Russian Workshop on Complexity and Model Theory, Долгопрудный, Россия, 9-11 июня 2019
  • • 2019 An exponential lower bound on the size of primitive positive definition (Устный)
    • Автор: Zhuk D.
    • AAA 97 — 97. Arbeitstagung Allgemeine Algebra — 97th Workshop on General Algebra, Technische Universität Wien, Австрия, 1-3 марта 2019
  • • 2018 A Proof of CSP Dichotomy Conjecture (Приглашенный)
    • Автор: Zhuk D.
    • The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Shloss, Германия, 3-8 июня 2018
  • • 2018 Center and ternary absorption (Устный)
    • Автор: Zhuk D.
    • AAA96. Arbeitstagung Allgemeine Algebra - 96th Workshop on General Algebra., Darmstadt, Germany, Германия, 1-3 июня 2018
  • • 2018 Классификация сложности задачи удовлетворения ограничениям (Приглашенный)
    • Автор: Жук Д.Н.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2017 A proof of CSP dichotomy conjecture (Пленарный)
    • Автор: Zhuk D.
    • 58th Annual IEEE Symposium on Foundations of Computer Science, Berkeley, США, 15-17 октября 2017
  • • 2017 Properties of Crucial CSP Instances (Устный)
    • Автор: Zhuk D.
    • BLAST: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology, & Point-free Topology, Nashville, TN, USA., США, 14-18 августа 2017
  • • 2017 The proof of CSP dichotomy conjecture (Приглашенный)
    • Автор: Zhuk D.
    • The 94th Workshop on General Algebra, in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017, Novi Sad, Serbia, Сербия, 15-18 июня 2017
  • • 2017 An Algorithm for Constraint Satisfaction Problem (Приглашенный)
    • Автор: Zhuk D.
    • IEEE 47th International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia, Novi Sad, Serbia, Сербия, 22-24 мая 2017
  • • 2016 The proof of CSP Dichotomy Conjecture (Пленарный)
    • Автор: Zhuk D.
    • Workshop on Structure and Complexity in Universal Algebra, Nashville, TN, США, 19-30 сентября 2016
  • • 2016 On CSP dichotomy conjecture (Устный)
    • Автор: Zhuk D.N.
    • AAA 92, Arbeitstagung Allgemeine Algebra | 92th Workshop on General Algebra, Prague, Czech Republic, May 27-29, 2016 , Прага, Чехия, 27-29 мая 2016
  • • 2016 The proof of CSP Dichotomy Conjecture for 5-element domain (Устный)
    • Автор: Zhuk D.
    • AAA91 91th Workshop on General Algebra, Brno, Czech Republic, Feb 5, 2016 - Feb 7, 2016, Brno, Чехия, 5-7 февраля 2016
  • • 2015 The structure of relations invariant under near unanimity operations (Пленарный)
    • Автор: Zhuk D.
    • The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Seminar 15301, Dagstuhl Shloss, Германия, 19-24 июля 2015
  • • 2015 On the minimal arity of near unanimity term operations for finite algebras (Устный)
    • Автор: Alexandr Kazda, Zhuk D.
    • AAA90 90th Workshop on General Algebra Novi Sad, Serbia, June 5-7, 2015, Novi Sad, Сербия, 5-7 июня 2015
  • • 2015 The size of generating sets of powers (Устный)
    • Автор: Zhuk D.
    • AAA90 90th Workshop on General Algebra Novi Sad, Serbia, June 5-7, 2015, Novi Sad, Сербия, 5-7 июня 2015
  • • 2015 Open problems in Clone Theory (Приглашенный)
    • Автор: Zhuk D.
    • Open Problems in Universal Algebra a Shanks workshop at Vanderbilt University May 28 – June 1, 2015 , Nashville, США, 28 мая - 1 июня 2015
  • • 2015 On key relations with full pattern
    • Автор: Zhuk D.
    • Arbeitstagung Allgemeine Algebra | Workshop on General Algebra February 26 - March 1, 2015, Dresden University of Technology, Dresden, Германия, 26 февраля - 1 марта 2015
  • • 2015 On the cardinality of the lattice of C-clones
    • Авторы: Mike Behrisch, Zhuk D., Edith Vargas-García
    • Arbeitstagung Allgemeine Algebra | Workshop on General Algebra February 26 - March 1, 2015, Dresden University of Technology, Dresden, Германия, 26 февраля - 1 марта 2015
  • • 2014 On key relations preserved by a weak near unanimity operation (Приглашенный)
    • Автор: Zhuk D.
    • Algebras & Clones fest, Prague, Чехия, 30 июня - 3 июля 2014
  • • 2014 On the minimal arity of a near unanimity operation in a clone (Пленарный)
    • Автор: Zhuk D.
    • AAA88 Workshop on General Algebra, Warsaw, Польша, 19-22 июня 2014
  • • 2014 On relations preserved by a weak near-unanimity function
    • Автор: Zhuk D.
    • IEEE 44th International Symposium on Multiple-Valued Logic, Bremen, Germany, 2014, Bremen, Германия, 19-21 мая 2014
  • • 2014 Порядок замкнутых классов, содержащих функцию голосования
    • Автор: Жук Д.Н.
    • Ломоносовские чтения - 2014. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
  • • 2014 On relations preserved by a weak near-unanimity function (Приглашенный)
    • Автор: Zhuk D.
    • AAA87 & CYA28 - 87th Workshop on General Algebra and 28th Conference of Young Algebraists - 87. Arbeitstagung , Linz, Австрия, 6-9 февраля 2014
  • • 2013 On the Clones Containing a Near-Unanimity Function (Устный)
    • Авторы: Zhuk D., Moiseev S.
    • IEEE 43rd International Symposium on Multiple-Valued Logiс, Toyama, Япония, 21-25 мая 2013
  • • 2013 О расслоении континуальной решетки одного класса 3-значной логики
    • Автор: Жук Д.Н.
    • Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
  • • 2012 The cardinality of the set of all clones containing a given minimal clone on three elements. (Устный)
    • Автор: Жук Д.Н.
    • IEEE 42st International Symposium on Multiple-Valued Logic., Canada, Канада, 2012
  • • 2012 On the lattice of clones on three elements (Приглашенный)
    • Автор: Жук Д.Н.
    • Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY, Szeged, Венгрия, 21-25 июня 2012
  • • 2011 The lattice of the clones of self-dual functions in three-valued logic. (Устный)
    • Автор: Жук Д.Н.
    • IEEE 41st International Symposium on Multiple-Valued Logic , Finland, Финляндия, 2011
  • • 2009 Классификация классов Поста по их способности гарантировать разрешимость проблемы A-полноты для дефинитных автоматов
    • Автор: Жук Д.Н.
    • Международная конференция студентов, аспирантов и молодых ученых “Ломоносов 2009", 2009
  • • 2008 О проблеме полноты в классе автоматов без обратной связи.
    • Авторы: Присмотров Ю.Н., Жук Д.Н.
    • Ломоносов, 2008
  • • 2007 О проблеме полноты в классе автоматов без обратной связи.
    • Автор: Жук Д.Н.
    • IX Международного семинара «Дискретная математика и ее приложения», Москва, механико-математический факультет МГУ, Россия, 2007

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Теория интеллектуальных систем и автоматов 2021-2025
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 января 2019 - 31 декабря 2021 Структурные и сложностные вопросы в теории k- значных функций
    • Кафедра математической кибернетики
    • Руководитель: Селезнева С.Н. Участники НИР: Алексеев В.Б., Жук Д.Н., Марченков С.С.
  • • 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 января 2013 - 31 декабря 2015 Алгоритмические, оптимизационнные и структурные вопросы в теории дискретных функций
    • Кафедра математической кибернетики
    • Руководитель: Селезнева С.Н. Участники НИР: Бухман А.В., Жук Д.Н., Мазуров А.А.
  • • 1 января 2011 - 31 декабря 2015 Теория интеллектуальных систем и автоматов
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Мазуренко И.Л., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.

• Награды и премии

  • • 2021 Distinguished paper at LICS 2021
    • Лауреат: Zhuk D.
    • LICS, Италия
  • • 2020 Presburger Award
    • Лауреат: Zhuk D.
    • European Association for Theoretical Computer Science (EATCS), Германия
  • • 2017 Best Paper Award at FOCS 2017
    • Лауреат: Zhuk D.
    • FOCS 2017 program committee, США
  • • 2011 Outstanding Contributed Paper Award at ISMVL 2011
    • Лауреат: ZHUK D.
    • IEEE Computer Society, Technical Committee on Multiple-Valued Logic, Финляндия
  • • 2006 Ветеран труда
    • Лауреат: Жук Д.

• Участие в программных комитетах конференций

  • • 4-6 июня 2021 AAA101 – 101st Workshop on General Algebra
    • Член программного комитета
    • Novi Sad, Сербия

• Руководство дипломными работами

  • • 2015 Точные оценки сложности восстановления некоторых частичных порядков
    • Научный руководитель: Жук Дмитрий
    • Автор: Ворончагина Ольга (Специалист)
  • • 2015 О сложности реализации предикатов положительными примитивными формулами
    • Научный руководитель: Жук Дмитрий
    • Автор: Баширов Руслан Халилович (Специалист)
  • • 2014 О сложности восстановления частичного порядка
    • Научный руководитель: Жук Д.Н.
    • Автор: Абдель Маджид Али Амир (Бакалавр)
  • • 2014 О нижней части решётки замкнутых классов функций k-значной логики
    • Научный руководитель: Жук Д.Н.
    • Автор: Глюз Ольга (Специалист)

• Авторство учебных курсов

  • • 2012 Основы теории логических функций
    • Автор: Жук Дмитрий Николаевич
  • • 2011 Теория функций k-значной логики
    • Автор: Жук Д.Н.

• Преподавание учебных курсов

  • • 8 февраля 2021 - 28 мая 2021 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 17 сентября 2020 - 31 декабря 2020 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, лекции, 32 часов
  • • 10 февраля 2020 - 29 мая 2020 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 18 сентября 2019 - 25 декабря 2019 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, лекции, 32 часов
  • • 8 февраля 2019 - 23 июня 2019 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 5 февраля 2018 - 24 июня 2018 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 21 сентября 2017 - 21 декабря 2017 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, лекции, 32 часов
  • • 9 февраля 2017 - 18 мая 2017 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2016 - 20 декабря 2016 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2016 - 20 июня 2016 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 16 ноября 2015 - 30 ноября 2015 Основы теории логических функций
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 32 часов
  • • 16 ноября 2015 - 30 ноября 2015 Основы теории логических функций
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 32 часов
  • • 7 сентября 2015 - 20 декабря 2015 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 9 февраля 2015 - 22 июня 2015 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2012 - 20 декабря 2012 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • факультативная, лекции, 32 часов