Оглавление
Введение
1 Основные понятия и результаты
1.1 Истинностные значения и многозначные логики
1.2 Функции сзначной логики и их обобщения
1.3 Полиномиальные представления функций кзначной логики
2 Логика с обобщенной интерпретацией переменных
2.1 Обобщенная интерпретация переменных и частичная ги
перзначная семантика.
2.2 Обобщенная интерпретация переменных и 4х значная логика .
2.3 2значпая логика и обобщенная интерпертация переменных
3 Гипер и ультрафункции
3.1 Частичные гиперфункции на двухэлементом множестве . .
3.1.1 Примеры полных множеств
3.1.2 Замкнутые классы.
3.1.3 Вспомогательные леммы
3.1.4 Критерий полноты.
3.2 Ультрафункции на двухэлементном множестве.
3.2.1 Замкнутые классы.
3.2.2 Вспомогательные результаты.
3.2.3 Критерий полноты.
3.3 Полные множества мастичных гипер и ультрафункций на
произвольном множестве.
4 Операторные представления функций сзначной логики
4.1 Об операторах функций сзначной логики .
4.1.1 Основные понятия и определения
4.1.2 Операторы булевых функций.
4.1.3 Некоторые операторы функций сзначной логики .
4.2 Разностный оператор и оператор сдвига в полиномиальных
представлениях функций сзначной логики.
4.2.1 Существование полиномиальных представлений . .
4.2.2 Некоторые оценки сложности
4.3 Оператор подстановки в полиномиальных представлениях
4.3.1 Разложения, применимые к произвольным булевым
функциям.
4.3.2 Разложения функций сзначной логики
4.3.3 Разложения с оператором сдвига
4.4 Операторы подстановки и сдвига в разложениях полилинейных функций.
Список литературы
- Київ+380960830922