S-Классификация функций трёхзначной логики
Марченков С.С.
S-классификация. Базирующаяся на операциях суперпозиций и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трезначной логики. Дается описание всех 48 S-замкнутых классов трех начной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.
Godina:
2001
Izdavač:
Издательство "Физматлит"
Jezik:
russian
Strane:
80
ISBN 10:
5922101528
ISBN 13:
9785922101523
Fajl:
PDF, 12.28 MB
IPFS:
,
russian, 2001