English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм

Курсы и семинары :: Студенты и аспиранты Жука Д.Н. :: Публикации Жука Д.Н. :: Публикации учеников Жука Д.Н.

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

к.ф.-м.н., с.н.с.

Жук Д.Н. Д.Н. Жук родился 25 августа 1984 года в г. Череповец. В 2001 году закончил Вологодский Государственный Естественно-математический лицей в г. Вологда.

В 2001 году он поступил на механико-математический факультет МГУ. С 2003 года обучался на кафедре Математической теории интеллектуальных систем, где под руководством профессора В.Б. Кудрявцева занимался исследованиями в области функциональных систем. Им были построены все предполные классы для одного важного семейства неоднородных функций, что позволило решить проблему полноты для этого семейства.

В 2006 году Д.Н. Жук с отличием окончил механико-математический факультет и поступил в аспирантуру на кафедру МаТИС, где активно занимался проблемой полноты для дефинитных автоматов. Он показал, что, несмотря на неразрешимость проблемы полноты для дефинитных автоматов в общем случае, она разрешима для систем автоматов, содержащих все булевы функции. Также им получено решение проблемы отделения алгоритмически разрешимых случаев A-полноты для базисов Поста дефинитных автоматов, возникшей в работах В.А. Буевича в 70-х годах прошлого века и развитой в работах Д.Н. Бабина в 90-х годах. Этот результат составил основу его диссертации, защищенной в 2010 г. на механико-математическом факультете МГУ. Кроме того, ему удалось показать, что в классе дефинитных автоматов континуум предполных классов.

С октября 2009 года Д.Н. Жук работает младшим научным сотрудником на кафедре Математической теории интеллектуальных систем. Он занимается исследованиями в области функциональных систем автоматов и многозначных логик. Уже после защиты диссертации он решил проблему, которая долгие годы стояла перед исследователями, – им были описаны все замкнутые классы самодвойственных функций в трехзначной логике. Это первый предполный класс, отличный от линейного, для которого удалось получить явное описание всех содержащихся в нём замкнутых классов.

Д.Н. Жуком была придумана новая техника для работы с предикатами, которая и позволила описать все замкнутые классы самодвойственных функций, а также получить следующие результаты. Для каждого минимального клона трёхзначной логики была найдена мощность множества всех его надклассов. Было доказано, что следующая проблема алгоритмически разрешима: дано конечное множество предикатов (отношений) S, допускает ли S функцию почти единогласия. Эта проблема возникла при исследовании задачи Constraint Satisfaction Problem и была отрытой проблемой много лет.

Область научных интересов. Функциональные системы автоматов, многозначные логики.

Д.Н. Жук участвует в работе научного семинара "Кибернетика и информатика".

Email: Написать письмо

См. также: http://istina.msu.ru/profile/Dima_VGEML/

                 

Студенты и магистранты Жука Д.Н.

Фамилия, имя, отчество Группа
Жариков Алексей Евгеньевич 311
Зданович Артем Иванович 311

 

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

  • Kerkhoff S., Zhuk D.N. The generation of clones with majority operations.
    Algebra Universalis. May 2014.
  • Zhuk D.N. The existence of a near-unanimity function is decidable
    Algebra Universalis. February 2014, Volume 71, Issue 1. Pp. 31-54
  • Zhuk D.N. On relations preserved by a weak near-unanimity function.
    IEEE 44th International Symposium on Multiple-Valued Logic, Bremen, Germany, 2014.
  • Жук Д.Н. Решетка замкнутых классов самодвойственных функций трехзначной логики.
    Журнал "Интеллектуальные системы" т. 17, вып. 1-4, 2013, Москва, изд.-во РГГУ. Стр. 302-309
  • Moiseev S., Zhuk D.N. On the Clones Containing a Near-Unanimity Function.
    IEEE 43rd International Symposium on Multiple-Valued Logic, Japan 2013.
  • Zhuk D.N. The cardinality of the set of all clones containing a given minimal clone on three elements.
    Algebra Universalis. December 2012, Volume 68, Issue 3-4. Pp 295-320.
  • Zhuk D.N. The lattice of all clones of self-dual functions in three-valued logic.
    2011. Preprint.
  • Жук Д.Н. Решётка замкнутых классов самодвойственных функций трёхзначной логики.
    Издательство МГУ. 2011.
  • Zhuk D.N. 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.
  • Жук Д.Н. Предикатный метод построения решетки Поста.
    Дискретная математика, 23:2 (2011). Стр. 115–128.
  • Жук Д.Н. Критерий разрешимости проблемы А-полноты для дефинитных автоматов.
    Доклады РАН, том 439, № 1, Июль 2011. Стр. 18-20.
  • Zhuk D.N. The lattice of the clones of self-dual functions in three-valued logic.
    IEEE 41st International Symposium on Multiple-Valued Logic, Finland 2011.
  • Жук Д.Н. Структура замкнутых классов в предполном классе самодвойственных функций трехзначной логики.
    Доклады РАН, том 437, № 6, Апрель 2011. Стр. 738-742.
  • Zhuk D.N. On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata.
    Discrete Mathematics and Applications. Volume 20, Issue 3. Pp. 337–355.
  • Zhuk D.N. Cardinality of the set of all precomplete classes for definite automata.
    Journal of Mathematical Sciences. Volume 169, Number 4. pp. 430-434.
  • Жук Д.Н. О классификации автоматных базисов Поста по разрешимости свойств A-полноты для дефинитных автоматов.
    Дискрет. матем., 22:2 (2010). Стр. 80–95.
  • Жук Д.Н. Континуальность множества предполных классов в классе дефинитных автоматов.
    Фундамент. и прикл. матем., 15:4 (2009). Стр. 29–36.
  • Жук Д.Н. Разрешимые случаи задачи об A-полноте для дефинитных автоматов.
    М., Интеллектуальные системы. Т.13, вып. 1-4, 2009. Стр. 273-312.
  • Жук Д.Н. Классификация классов Поста по их способности гарантировать разрешимость проблемы A-полноты для дефинитных автоматов.
    Материалы конференции «Ломоносов 2009».
  • Жук Д.Н., Присмотров Ю.Н. О проблеме полноты в классе автоматов без обратной связи.
    Материалы конференции «Ломоносов 2008».
  • Жук Д.Н. О неразрешимости проблемы полноты для дефинитных автоматов.
    М., Интеллектуальные системы. Т.12, 2008. Стр. 211-228.
  • Жук Д.Н. О проблеме полноты в классе автоматов без обратной связи.
    Материалы IX международного семинара "Дискретная математика и её приложения", посвященного 75-летию со дня рождения академика О.Б.Лупанова, 2007. 3 стр.
  • Жук Д.Н., Присмотров Ю.Н. О проблеме полноты в классе автоматов без обратной связи.
    М., Интеллектуальные системы. Т.11, 2007. Стр. 439-472.

 

Список научных публикаций учеников Жука Д.Н.

Наверх

   © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм Rambler's Top100 Рейтинг@Mail.ru