|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Расширения оператора позитивного замыкания на множестве частичных булевых функцийдипломная работа (Магистр)
- Научный руководитель: Марченков С.С.
- Автор: Чернышев Анатолий Владимироович
- Тип: Магистр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2019
- Аннотация: На множестве частичных булевых функций и частичных функций трехзначной логики рассматриваются два расширения оператора позитивного замыкания: оператор импликативного замыкания (CI-оператор) и оператор замыкания с полной системой логических связок (Compl-оператор). Для частичных булевых функций определены (с указанием базисов) все 6 CI-замкнутых классов и 2 Compl-замкнутых класса. Для частичных функций трехзначной логики найдены все 7 CI-замкнутых классов и все 4 Compl-замкнутых класса.
- Добавил в систему: Марченков Сергей Серафимович