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