Вид документа : Однотомное издание Шифр издания : 519.7/М 30 Автор(ы) : Марченков С. С., Заглавие : S-классификация функций трёхзначной логики : монография/ С. С. Марченков Выходные данные : Москва: Физматлит, 2001 Колич.характеристики :80 с. Примечания : ISBN, Цена 5-9221-0152-8: Б.ц. УДК : 519.7 ББК : 22.12. LBC/PL Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики. |