М 30 Марченков, С. С. S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики. Полный текст/внешний ресурс скачать: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация Свободных экз. нет |