Диссертация

Молдованов Илья Владимирович

Кандидат наук

Статус диссертации

  
Диплом Кандидат наук
  
Решение o выдаче диплома
  
Положительное заключение AK
  
Ha рассмотрении в AK
  
Положительная защита
27.10.2026 
Объявление опубликовано
25.09.2026 
Принят к защите
23.09.2026 
Заключение комиссии
22.09.2026 
Документы приняты
Тема диссертации
Проблема полноты линейных дефинитных автоматов
ФИО соискателя
Молдованов Илья Владимирович
Степень на присвоение
Кандидат наук
Дата и время защиты
27.11.2026 17:45
Место проведения защиты
119234,Москва, ГСП-1, Ленинские горы, д.1, МГУ имени М.В. Ломоносова, механико-математический факультет, аудитория 14-08
Научные руководители
Часовских Анатолий Александрович
Доктор наук Доцент
Оппоненты
Чечкин Александр Витальевич
Доктор наук Профессор
Кочергин Вадим Васильевич
Доктор наук
Алексиадис Никос Филиппович
Кандидат наук Доцент
Места выполнения работы
Московский государственный университет имени M.B.Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Специальности
1.1.5. Математическая логика, алгебра, теория чисел и дискретная математика
физико-математические науки
Диссертационный совет
МГУ.011.4
Телефон совета
+7 495 939-14-70
Интернет-адрес объявления на федеральном информационном портале
https://vak.gisnauka.ru/adverts-list/advert-card/1065844164001

Диссертация посвящена проблеме полноты систем линейных дефинитных автоматов над двухэлементным полем. Исследуются условия, при которых суперпозиции исходных автоматов позволяют воспроизводить поведение любого автомата рассматриваемого класса на каждом конечном начальном участке либо сразу на всей последовательности.

Получены критерии аппроксимационной полноты и полноты относительно суперпозиции в виде приведённых систем замкнутых классов. Для конечных систем установлена алгоритмическая разрешимость проверки обоих видов полноты.