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

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

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

510.6 Математическая логика
5 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент научной литературы ГУК, ГУК, ауд. 313
  2. Абонемент научной литературы УЛК, УЛК, ауд. 221л
  3. Читальный зал младших курсов №1, УЛК, ауд. 305л
  4. Читальный зал младших курсов №2, УЛК, ауд. 221л
  5. Читальный зал старших курсов, ГУК, ауд. 313

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

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1.
2 экз.
Марченков, С. С. Замкнутые классы булевых функций : учебное пособие / С. С. Марченков. — Москва : ФИЗМАТЛИТ, 2000. — 128 с. — ISBN 5-9221-0066-1.
ЭБС «Лань»