Warning: Undefined property: Dissovet\Models\Dissertation::$performed_in_place2 in /var/www/application/Models/Dissertation.php on line 326
Диссертация

Диссертация

Часовских Анатолий Александрович

Доктор наук

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

27.04.2022 
Диплом Доктор наук
18.04.2022 
Решение о выдаче диплома
25.02.2022 
Положительное заключение АК
12.01.2022 
На рассмотрении в АК
06.10.2021 
Положительная защита
21.07.2021 
Объявление опубликовано
14.07.2021 
Принят к защите
12.07.2021 
Заключение комиссии
24.06.2021 
Документы приняты
ФИО соискателя
Часовских Анатолий Александрович
Степень на присвоение
Доктор наук
Приказ о выдаче диплома
№ 484 от 27.04.2022
Дата и время защиты
06.10.2021 16:45
Научный консультант
Кудрявцев Валерий Борисович
Доктор наук Профессор
Оппоненты
Алехина Марина Анатольевна
Доктор наук Профессор
Золотых Николай Юрьевич
Доктор наук Доцент
Чечкин Александр Витальевич
Доктор наук Профессор
Ученое звание
Доцент
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Специальность
01.01.09 Дискретная математика и математическая кибернетика
физико-математические науки
Диссертационный совет
Телефон совета
+7 495 939-14-70

Объект исследования: классы линейных автоматов над конечными полями, класс линейных 2-адических автоматов. Цели исследования: при использовании операций композиции решить проблему полноты в рассматриваемых классах, изучить выразительные свойства множеств линейных автоматов над полем из двух элементов при некоторых естественных ограничениях. Используются методы дискретной математики и высшей алгебры. Результаты: для классов линейных автоматов над конечными полями с операциями композиции найдены все максимальные замкнутые собственные подклассы (предполные классы); для класса линейных автоматов над полем из двух элементов с операциями композиции решена задача выразимости через конечные множества, содержащие сумматор в замыкании, при использовании оператора аппроксимационного замыкания - задача выразимости через конечные множества, содержащие существенный автомат и в замыкании - константы, а при использовании операций суперпозиции найдены все предполные классы; в классе линейных 2-адических автоматов с операциями композиции найдены все предполные классы. Применение: в специальных курсах, при оптимизации вычислений.

# Название Размер