Cтраница 3
Классы функций трехзначной логики, замкнутые относительно операций суперпозиции и перестановки / / Вестник МГУ. [31]
Прежде чем провести индуктивный переход, разложим общую нерегулярную операцию суперпозиции на четыре более простые операции. [32]
Все симметрии дифференциального уравнения образуют группу с операцией суперпозиции, называемую группой всех симметрии этого уравнения. [33]
В итоге были выбраны функциональные системы с операцией суперпозиции и с носителями, состоящими из функций многозначной логики, функций натурального аргумента и автоматных функций. Выбор операции суперпозиции в качестве единственной операции в изучаемых функциональных системах обусловлен рядом причин. Прежде всего, операция суперпозиции является по существу базовой операцией в теории функциональных систем. Обычно она входит в совокупность О операций системы либо получается из операций О в виде производной операции. Результаты, полученные для функциональных систем с операцией суперпозиции, как правило, служат отправными точками ( а зачастую и ориентирами) в исследованиях по функциональным системам с другими операциями. Немаловажно и то, что операция суперпозиции достаточно хорошо формализуется и алгебраизируется. Это позволяет осуществлять плодотворный обмен идеями и методами между теорией функциональных систем с одной стороны и универсальной алгеброй, математической логикой и теорией алгоритмов - с другой. [34]
Любой параметрически замкнутый класс булевых функций замкнут относительно операции суперпозиции. [35]
Справедливость выражений (7.34) и (7.35) следует из определений операции суперпозиции, единичного и обратного автоматов. [36]
Аналогичный смысл здесь имеют суперпозиция функций из Р и операция суперпозиции. Далее вводится понятие эквивалентности формул S2l и 93: Ц21 93, если соответствующие им функции / q и fcQ равны. [37]
Аналогичный смысл здесь имеют суперпозиция функций из ty и операция суперпозиции. Далее вводится понятие эквивалентности формул 31 и 33: 31 Я5, если соответствующие им функции / и и / % равны. [38]
О таком множестве говорят, что оно замкнуто относительно операции суперпозиции функций, или, иначе, что суперпозиция является внутренней операцией для такого множества. [39]
В связи с этим представляется важным изучение таких усилений операции суперпозиции, которые, с одной стороны, не являются столь сильными, чтобы давать конечное множество замкнутых классов, а с другой стороны позволяют достаточно просто находить результат применения этих операций к функциям. [40]
Тогда мощность множества классов в Pk, замкнутых относительно операций суперпозиции и перестановки с множеством угловых наборов W, конечная. [41]
Тогда мощность множества классов в Pk, замкнутых относительно операций суперпозиции и перестановки типа II с множеством угловых наборов W, конечная. [42]
Тогда мощность множества классов в Pk, замкнутых относительно операций суперпозиции и перестановки типа II с множеством угловых наборов W, равна мощности континуума. [43]
Тогда мощность множества классов в Pk, замкнутых относительно операций суперпозиции и перестановки типа I с множеством угловых наборов W, равна мощности континуума. [44]
Тогда мощность множества классов в Pk, замкнутых относительно операций суперпозиции и перестановки с множеством угловых наборов W, счетная. [45]