Замкнутые классы булевых функций (2-е издание)

В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано опсание решетки классов Поста. Рассмотрено предикатное задание классов Поста и предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов.

Первое издание - 2000 г.

Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.