О замкнутых классах трехзначной логики, порожденных системами, содержащими симметрические функции

Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат немонотонные симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и о конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств.

Авторы

Михайлович А.Н.

Тэги

функции многозначной логики замкнутые классы порождающие системы базис.

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

Целочисленные решетки переменных действие для обобщенного случая Лагранжа, Пуассоновская предельная теорема для высоких экстремумов временного ряда с сезонной составляющей и монотонным трендом, ...

Резюме по документу**

Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат немонотонные симметрические функции, принимающие значения из множества {0, 1}. <...> Показано, что в некоторых случаях задачи о базируемости и о конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. <...> Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат немонотонные симметрические функции, принимающие значения из множества {0, 1}. <...> Показано, что в некоторых случаях задачи о базируемости и о конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. <...>

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

О замкнутых классах трехзначной логики, порожденных системами, содержащими симметрические функции

Помощь:

Участники: