|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Замкнутые классы булевых функцийкнига
- Автор: Марченков С.С.
- Год издания: 2000
- Место издания: ФИЗМАТЛИТ Москва
- Объём: 128 страниц
- ISBN: 5-9221-0066-1
- Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
- Добавил в систему: Марченков Сергей Серафимович