Диссертация

Ронжин Дмитрий Владимирович

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

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

23.06.2022 
Диплом Кандидат наук
20.06.2022 
Решение о выдаче диплома
17.06.2022 
Положительное заключение АК
18.05.2022 
На рассмотрении в АК
06.04.2022 
Положительная защита
13.01.2022 
Объявление опубликовано
12.01.2022 
Принят к защите
11.01.2022 
Заключение комиссии
10.01.2022 
Документы приняты
ФИО соискателя
Ронжин Дмитрий Владимирович
Приказ о выдаче диплома
№ 766 от 23.06.2022
Степень на присвоение
Кандидат наук
Дата и время защиты
06.04.2022 16:45
Научные руководители
Оппоненты
Гашков Сергей Борисович
Доктор наук Профессор
Аблаев Фарид Мансурович
Доктор наук Профессор
Фролов Александр Борисович
Доктор наук Профессор
Места выполнения работы
Московский государственный университет имени M.B.Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Специальности
01.01.09 Дискретная математика и математическая кибернетика
физико-математические науки
Диссертационный совет
Телефон совета
+7 495 939-14-70

Объектом исследования является класс линейных автоматов, функционирующих над подкольцами рациональных чисел. Целью работы является доказательство критериев полноты по различным операциям замыкания в классе автоматов, функционирующих над бесконечными структурами, в частности над полем рациональных чисел и кольцом двоично-рациональных чисел. В работе использованы методы дискретной математики, алгебры и комбинаторики. Получены оценки на мощность порождающих множеств в классе автоматов, функционирующих над полем рациональных чисел с использованием операций композиции, суперпозиции и А-замыкания. Получены условия полноты систем автоматов с добавками определенного вида в этом классе автоматов. Для автоматов, функционирующих над кольцом двоично-рациональных чисел получены условия полноты конечных систем с добавками определенного вида по операции А-замыкания в терминах А-предполных классов. Доказана алгоритмическая разрешимость задачи проверки непринадлежности найденным А-предполным классам, а также исследована конечнопорожденность найденных А-предполных классов по операциям А-замыкания. Работа носит теоретический характер и применима в исследовании вопросов полноты для автоматов, функционирующих над бесконечными структурами.

# Название файла Размер
Нет прикрепленных файлов