S-классификация функций трехзначной логики

S-классификация функций трехзначной логики
Автор
 
Год
 
Страниц
 
80
ISBN
 
5922101528
Издатель
 
Прогресс-Традиция
Категория
 
Логика

Описание:

S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственнойэффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определениевсех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.

Похожие книги

Оборотни МУРа; Киллеры ФСБОборотни МУРа; Киллеры ФСБ
Автор: Карышев В.М.
Год: 2005
Шкафы и скелетыШкафы и скелеты
Автор: Составитель Макс Фрай
Год: 2009
Труп на балетной сценеТруп на балетной сцене
Автор: Эллен Полл
Год: 2005
Армагед-домАрмагед-дом
Автор: Марина и Сергей Дяченко
Год: 2007