Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
полином от нескольких переменных, не меняющийся при любой перестановке этих переменных
Предлагается оригинальный метод выполнения полиномиальной декомпозиции частично симметрических булевых функций (ч.с.б.ф.), задаваемых своими локальными кодами. Метод позволяет по таблице локальных кодов производных ч.с.б.ф. получить одновременно локальные коды всех "остаточных" функций при разложении по любому кортежу переменных с произвольной поляризацией
Булевы функции вообще и булевы полиномы, в частности, предмет теоретических и прикладных исследований в различных областях информатики. Аннигиляторы булевых функций и алгебраическая иммунность булевых полиномов важные предметы исследования в системах кодирования. Само определение понятия аннигилятора для булевых полиномов вводится с помощью некоторого преобразования в кольце полиномов, поэтому в работе проблематика, связанная с аннигиляторами булевых полиномов, рассматривается в рамках линейных преобразований над эти кольцом. В частности, изучаемые в работе линейные преобразования пространства булевых полиномов от n переменных позволили получить результаты, касающиеся проблемы нахождения минимальной степени аннигилятора для заданного булева полинома. Именно эта задача является наиболее актуальной в различных аналитических и алгоритмических аспектах кодирования. Цель работы на фоне обзора важности алгебраической иммунности для конструкции «хороших» систем кодирования привести формулы...
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
репер, однозначно связанный с исследуемой фигурой или ее точкой
символ, обозначающий мощность множества; в случае конечного множества натуральное число: число элементов в множестве