Вид документа : Однотомное издание Шифр издания : 519.7/М 30 Автор(ы) : Марченков С. С., Заглавие : Замкнутые классы булевых функций : монография/ С. С. Марченков Выходные данные : Москва: Физматлит, 2000 Колич.характеристики :130 с. Примечания : ISBN, Цена 5-9221-0066-1: Б.ц. УДК : 519.7 ББК : 22.176. LBC/PL Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции. |