Личный кабинет
Подробное описание документа
Марченков С. С.
Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.:
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное докаг зательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.
Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
510.6 Математическая логика2 экз.
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313
Похожие издания
Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.:
Читать онлайн
