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

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