Диссертация

Тема диссертации

Критериальная система неявно предполных классов в трехзначной логике

ФИО соискателя

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

Степень на присвоение

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

Приказ о выдаче диплома

№ 484 от 27.04.2022

Дата и время защиты

27.10.2021 16:45

Научный руководитель

Дудакова Ольга Сергеевна
Кандидат наук

Оппоненты

Алексеев Валерий Борисович
Доктор наук Профессор
Мещанинов Дмитрий Германович
Кандидат наук Доцент
Перязев Николай Алексеевич
Доктор наук Профессор

Место выполнения работы

Московский государственный университет имени М.В.Ломоносова, Механико-математический факультет, Кафедра дискретной математики

Специальность

01.01.09 Дискретная математика и математическая кибернетика
физико-математические науки

Диссертационный совет

МГУ.012.3

Телефон совета

+7 495 939-14-70

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

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

Диссертация

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

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

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

Критериальная система неявно предполных классов в трехзначной логике