S-Классификация функций трёхзначной логики
|
Автор: Марченков С.С.
Жанр: Разное
Издательство: Физматлит
Год: 2012 Количество страниц: 80
Формат:
PDF (4.00 МБ)
Дата загрузки: 15 декабря 20142017-08-17
|
Аннотация
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Скачать с нашего сайта
|
Комментарии
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|