Год выпуска: 2001 Автор: С. С. Марченков Издательство: ФИЗМАТЛИТ Страниц: 80 ISBN: 5-9221-0152-8
Описание
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Давеча получил консультации, за что большое "мерси". Объём работ с вашей помощью впечатляет, но список использованной литературы шокирует ещё больше. Мне не осилить и половину из всего указанного. Но, тем не менее, спасибо ещё раз.