Обложка Марченков С.С. S-классификация функций трехзначной логики
Id: 200351

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

2012. 80 с. ISBN 5-9221-0152-8.
  • Мягкая обложка

Аннотация

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

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