Решетка замкнутых классов самодвойственных функций трехзначной логики

Жук Дмитрий Николаевич
Решетка замкнутых классов самодвойственных функций трехзначной логики



Издательство: Московский государственный университет имени М.В. Ломоносова (МГУ)
Жанр: Научная, учебная литература для специалистов

Качество: Хорошее
Страниц: 109
Формат: pdf, fb2, epub

В книге описывается решетка замкнутых классов трехзначной логики, которые вкладываются в предполный класс самодвойственных функций. Это первый предполный класс, отличный от линейного, для которого удалось получить такое описание. С помощью этого описания доказываются различные свойства замкнутых классов самодвойственных функций. В частности, показано, что все замкнутые классы имеют базис (конечный или бесконечный), выделены все конечно-порожденные и предикатно-описуемые классы, найдены мощности надрешеток и подрешеток для каждого замкнутого класса. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики. Ключевые слова: структура, решетка, самодвойственная функция, трехзначная логика, замкнутый класс, клон, существенный предикат.