Рассматривается задача о конечной порожденности классов монотонных функций k-значной логики. Найдены условия конечной порожденности классов функций, монотонных относительно частично упорядоченных множеств специального вида.

В статье рассматривается модель для вычисления булевых функций - ветвящиеся программы (BP - branching programs). Изучаются классические вероятностные BP и две модели квантовых BP - один раз измеряющие и много раз измеряющие ...

Рассматривается реализация булевых функций схемами из ненадежных элементов в полном базисе B, содержащем функции не более чем трех переменных. Предполагается, что базисные элементы подвержены инверсным неисправностям на ...

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

Рассмотрена реализация булевых функций схемами из ненадежных функциональных элементов, подверженных инверсным неисправностям на входах с вероятностью ошибки ε, 0 < ε < 1/2, на каждом входе функционального элемента. Показано, ...

Предложен быстрый алгоритм построения векторов коэффициентов поляризованных полиномов k-значных функций по векторам их значений (при простых k). Получены формулы подсчета по значениям k-значных функций коэффициентов их ...

Дан обзор результатов исследования числа множеств, свободных от сумм. Приводятся формулировки утверждений, обсуждаются идеи и техника доказательств.

Рассматриваются специальные представления функций, определенных на двоичных наборах и принимающих 4 значения. В частности, показано, что для таких функций есть представления, являющиеся аналогами известных представлений ...

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

Под локальным k-кратным слипанием переменных в булевой функции f(х) понимается функция, полученная в результате подстановки вместо каждой из каких-то k последовательных переменных функции f произвольной булевой функции от ...