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

предполные классы одноместные функции трехзначная логика

Численный метод решения нелинейной краевой задачи на собственные значения для электромагнитных TE-волн, распространяющихся в слое с произвольной нелинейностью, Численный метод решения обратной задачи восстановления эффективной диэлектрической проницаемости по коэффициенту отражения, ...

А. С. Нагорный О СВОЙСТВАХ ПРЕДПОЛНЫХ КЛАССОВ В 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 / А. С. Нагорный // Известия высших учебных заведений. <...>

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