S-классификация функций трехзначной логики - 80 с.
Автор:
Марченков С.С.
Издательство:
М: Физматлит
Год:
`01
Цена:
Аннотация:
б'-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех б'-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.
Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики. определение стандартного вида числа.