Логика

Список источников >Нехудожественная литература >Общественные и гуманитарные науки >Философия >Логика >

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

Автор: Марченков С. С.
Год: 2001
Издание: ФИЗМАТЛИТ
Страниц: 80
ISBN: 5922101528
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Добавлено: 2017-05-26 13:29:04

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы