Издательство: | Издательство МГУ |
Дата выхода: | декабрь 2011 |
ISBN: | 978-5-211-05969-6 |
Тираж: | 300 экземпляров |
Объём: | 109 страниц |
Обложка: | мягкая |
В книге описывается решетка замкнутых классов трехзначной логики, которые вкладываются в предполный класс самодвойственных функций. Это первый предполный класс, отличный от линейного, для которого удалось получить такое описание. С помощью этого описания доказываются различные свойства замкнутых классов самодвойственных функций. В частности, показано, что все замкнутые классы имеют базис (конечный или бесконечный), выделены все конечно-порожденные и предикатно-описуемые классы, найдены мощности надрешеток и подрешеток для каждого замкнутого класса. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики.