Подробное описание документа

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0132-3.

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

УДК

510.6 Математическая логика

Предметные рубрики

• Алгебра логики

Общее кол-во в фондах

5 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1.

Читать онлайн

Кол-во в фондах 2 экз.

подробнее

Марченков, С. С. Замкнутые классы булевых функций : учебное пособие / С. С. Марченков. — Москва : ФИЗМАТЛИТ, 2000. — 128 с. — ISBN 5-9221-0066-1.

Читать онлайн

Коллекция ЭБС «Лань»

подробнее