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

Диссертация

Старостин Михаил Васильевич

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

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

27.04.2022 
Диплом Кандидат наук
18.04.2022 
Решение о выдаче диплома
25.03.2022 
Положительное заключение АК
31.01.2022 
На рассмотрении в АК
27.10.2021 
Положительная защита
22.09.2021 
Объявление опубликовано
15.09.2021 
Принят к защите
13.09.2021 
Заключение комиссии
01.09.2021 
Документы приняты
ФИО соискателя
Старостин Михаил Васильевич
Степень на присвоение
Кандидат наук
Приказ о выдаче диплома
№ 484 от 27.04.2022
Дата и время защиты
27.10.2021 16:45
Научный руководитель
Дудакова Ольга Сергеевна
Кандидат наук
Оппоненты
Алексеев Валерий Борисович
Доктор наук Профессор
Мещанинов Дмитрий Германович
Кандидат наук Доцент
Перязев Николай Алексеевич
Доктор наук Профессор
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Механико-математический факультет, Кафедра дискретной математики
Специальность
01.01.09 Дискретная математика и математическая кибернетика
физико-математические науки
Диссертационный совет
Телефон совета
+7 495 939-14-70

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

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