В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста) Изложено новое компактное доказательство конечной порождаемости всех овдхп классов Поста и дано описание решетки классов Поста Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов Изложены основы теории Галуа для алгебры булевых функций Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций Рассмотрены некоторые `сильные` операторы замыкания, которые приводят к конечным решеткам замкнутых классов Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции Издание второе, исправленное Автор Сергей Марченков. Что управляетИздательство: ФИЗМАТЛИТ, 2001 г Мягкая обложка, 128 стр ISBN 5-9221-0132-3 Тираж: 1000 экз Формат: 60x90/16 (~145х217 мм).