Жук Дмитрий Николаевич: Решетка замкнутых классов самодвойственных функций трехзначной логики
(fb2, 109 страниц, 549 Kb)
Жанр : Научная, учебная литература для специалистов
Издательство : Московский государственный университет имени М.В. Ломоносова (МГУ)
Год издания : 2011
Аннотация:
В книге описывается решетка замкнутых классов трехзначной логики, которые вкладываются в предполный класс самодвойственных функций. Это первый предполный класс, отличный от линейного, для которого удалось получить такое описание. С помощью этого описания доказываются различные свойства замкнутых классов самодвойственных функций. В частности, показано, что все замкнутые классы имеют базис (конечный или бесконечный), выделены все конечно-порожденные и предикатно-описуемые классы, найдены мощности надрешеток и подрешеток для каждого замкнутого класса. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики. Ключевые слова: структура, решетка, самодвойственная функция, трехзначная логика, замкнутый класс, клон, существенный предикат.