Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Жук Дмитрий Николаевич
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
, старший научный сотрудник, с 1 октября 2009
кандидат физико-математических наук с 2010 года
Соавторы:
Barnaby M.
,
Kazda A.
,
Martin B.
,
Галатенко А.В.
,
Моисеев С.В.
,
Barto L.
,
Behrisch M.
,
Brady Z.
,
Bulatov A.
,
Carvalho C.
,
Catarina C.
,
Kerkhoff S.
,
Kozik M.
показать полностью...
,
Madelaine F.
,
Mayr P.
,
OPRŠAL J.
,
VALERIOTE M.
,
Vargas-García E.
,
Голиков К.А.
,
Дергач П.С.
,
Ищенко Р.А.
,
Курганов Е.А.
,
Мазуренко И.Л.
,
Миронов А.М.
,
Нерсисян С.А.
,
Подколзин А.С.
,
Присмотров Ю.Н.
42 статьи
,
1 книга
,
49 докладов на конференциях
,
5 НИР
,
5 наград
,
1 членство в программном комитете
,
4 дипломные работы
,
4 учебных курса
Количество цитирований статей в журналах по данным Web of Science: 49, Scopus: 94
IstinaResearcherID (IRID): 2597470
Деятельность
Статьи в журналах
2022
QCSP monsters and the demise of the Chen Conjecture
Zhuk Dmitriy
,
Martin Barnaby
в журнале
Journal of the ACM
, издательство
Association for Computing Machinery, Inc.
(United States)
DOI
2022
Small Promise CSPs that reduce to large CSPs
Kazda Alexandr
,
Mayr Peter
,
Zhuk Dmitriy
в журнале
Logical Methods in Computer Science
, издательство
Technischen Universitat Braunschweig
(Germany)
, том 18, № 3
DOI
2022
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation
Carvalho Catarina
,
Madelaine Florent
,
Martin Barnaby
,
Zhuk Dmitriy
в журнале
ACM Transactions on Computational Logic
, издательство
Association for Computing Machinery, Inc.
(United States)
DOI
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 с.
Доклады на конференциях
2022
On the complexity of the Quantified Constraint Satisfaction Problem
(Устный)
Автор:
Zhuk D.
Logic and Applications – LAP 2022
, Dubrovnik, Хорватия, 26 сентября - 29 декабря 2022
2022
Constraint Satisfaction Problem: what makes the problem easy
(Приглашенный)
Автор:
Zhuk D.
ICM 2022
, online, Россия, 6-14 июля 2022
2022
Clones on 3 elements: A New Hope (part I)
(Устный)
Автор:
Zhuk D.
AAA102 – 102nd WORKSHOP ON GENERAL ALGEBRA
, Szeged, Венгрия, 24-26 июня 2022
2022
Clones on 3 elements: a new hope
(Приглашенный)
Автор:
Zhuk D.
Honorary birthday colloquium for Reinhard Poeschel
, Dresden, Германия, 9 июня 2022
2022
PSpace-hard vs \Pi_2^p Dichotomy for the QCSP
(Приглашенный)
Автор:
Zhuk D.
Dagstuhl Seminar 22201. The Constraint Satisfaction Problem: Complexity and Approximability
, Schloss Dagstuhl, Германия, 16-21 мая 2022
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 часов