RUSSIAN

Замкнутые классы булевых функций

By Марченков С.С.

Book information

Publisher
Физматлит
Year
2000
ISBN
5-9221-0066-1
Language
russian
Format
DJVU
Filesize
2 MB (2008086 bytes)
Pages
128\128
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-07-20 03:45:11

Description

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

Similar books