Название: S-классификация функций трехзначной логики
Автор: Марченков С.С.
Издательство: М.: Физматлит
Год: 2001 (2000)
Cтраниц: 80
Формат: pdf
Размер: 12 мб
Язык: русский

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