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


Автор:
Название:
S- классификацияфункций трехзначной логики
Издательство:
Физматлит
ISBN:
5-9221-0152-8
Год издания:
2001
Количество страниц:
80 стр.
Цена:
Нет в продаже

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

Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.