АвторыМарченков С.С.
Замкнутые классы булевых функций
ИздательствоФизматлит
Тип изданияучебно-методическое пособие
Год издания2000
Скопировать биб. запись
Для каталогаМарченков, С. С. Замкнутые классы булевых функций / Марченков С. С. - Москва : ФИЗМАТЛИТ, 2000. - 128 с. - ISBN 5-9221-0066-1. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN5922100661.html (дата обращения: 23.11.2024). - Режим доступа : по подписке.
АннотацияВ книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.