Замкнутые классы булевых функций
Марченков С.С.
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.
Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Kategorie:
Rok:
2000
Wydawnictwo:
Физматлит
Język:
russian
Strony:
129
ISBN 10:
5922100661
ISBN 13:
9785922100663
Plik:
DJVU, 861 KB
IPFS:
,
russian, 2000