РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Физико-математические науки/2012/№ 2/
В наличии за
40 руб.
Купить
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:

О свойствах предполных классов в P[3]

Доказываются 28 свойств, связывающих предполные классы трехзначной логики.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
А. С. Нагорный О СВОЙСТВАХ ПРЕДПОЛНЫХ КЛАССОВ В 3P 1 Аннотация. <...> The article proves 27 qualities binding precomplete classes of ternary logic. <...> Элементы множества kP будем называть функциями k -значной логики, или k -значными функциями. <...> Замкнутый (относительно суперпозиции) класс H функций k -значной логики назовем предполным в kP , если H kP , но для любой функции fP k H замыкание множества {} Hf совпадает с kP . <...> Затем для любого предполных в kP классов конечно [5], а И. Розенберг <...> Математика B – класс Слупецкого (все трехзначные функции, имеющие либо не более одной существенной переменной, либо принимающие не более двух значений); S – класс функций, самодвойственных относительно перестановки <...> Будем говорить, что функция g является подфункцией функции f , если g можно получить подстановкой в функцию f вместо некоторых ее переменных констант из 3E . <...> K Тогда любая подфункция функции f также принадлежит классу . <...> Тогда из принадлежности классу K всех одноместных подфункций функции f следует принадлежность классу K и самой функции .f Занумеруем предполные классы в 3P числами от 1 до 18 в том порядке, в котором они перечислены выше. <...> Тогда, используя факт 2, получим Справедливость вложений (3) и (4) устанавливается аналогично (используются одноместные подфункции). <...> Нагорный Александр Степанович младший научный сотрудник, кафедра математической кибернетики, Московский государственный университет имени М. В. Ломоносова E-mail: anagorny@list.ru УДК 519.7 Нагорный, А. <...> О свойствах предполных классов в 3P / А. С. Нагорный // Известия высших учебных заведений. <...>
** - вычисляется автоматически, возможны погрешности

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