ОБ ОПЕРАТОРЕ ЗАМЫКАНИЯ ПО ПЕРЕЧИСЛЕНИЮ В МНОГОЗНАЧНОЙ ЛОГИКЕ
В многозначной логике определен оператор замыкания по перечислению (П-оператор). Доказана конечность числа П-замкнутых классов в fc-значной логике. Определены все шесть П-замкнутых классов булевых функций. Устанавлены достаточные условия для представления П-замкнутых классов в виде классов сохранения некоторых отношений. Проведено сравнение П-замкнутых классов с позитивно замкнутыми классами. Определены все П-замк-нутые классы однородных функций.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В многозначной логике определен оператор замыкания по перечислению (П-оператор). <...> Доказана конечность числа П-замкнутых классов в fc-значной логике. <...> Определены все шесть П-замкнутых классов булевых функций. <...> Устанавлены достаточные условия для представления П-замкнутых классов в виде классов сохранения некоторых отношений. <...> Проведено сравнение П-замкнутых классов с позитивно замкнутыми классами. <...> В многозначной логике определен оператор замыкания по перечислению (П-оператор). <...> Доказана конечность числа П-замкнутых классов в fc-значной логике. <...> Определены все шесть П-замкнутых классов булевых функций. <...> Устанавлены достаточные условия для представления П-замкнутых классов в виде классов сохранения некоторых отношений. <...> Проведено сравнение П-замкнутых классов с позитивно замкнутыми классами. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: