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

S-классификация функций трёхзначной логики
 
 
ISBN: 5-9221-0152-8
УДК: 519.7
ББК: 22.176
 
Москва: Физматлит, 2001
Number of pages: 80
 

No view is available.

The book is accessible only through subscription.

Bibliographic description

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

Contents

MARC record