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

Список источников >Математика >Алгебра >Математическая логика >

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

Автор: Марченков С.С.
Год: 2000
Издание:

Страниц: [не указано]
ISBN: [не указан]
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые `сильные` операторы замыкания, которые приводят к конечным решеткам замкнутых классов.
Добавлено: 2009-08-09 01:26:36

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы