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

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

Д. Н. Жук

     

бумажная книга



Издательство: Издательство МГУ
Дата выхода: декабрь 2011
ISBN: 978-5-211-05969-6
Тираж: 300 экземпляров
Объём: 109 страниц
Обложка: мягкая

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