Cтраница 2
Получение логических следствий достигается путем формальных преобразований логических формул, на основе правил, установленных в алгебре логики. [16]
Эта система может быть набором формальных преобразований, приводящих к экономии памяти или операторов программы, уменьшению избыточности вычисления, либо состоять из алгоритмов статистического или динамического распараллеливания. [17]
Важное значение имеет задача нахождения формальных преобразований кибернетич. [18]
Важное значение имеет задача нахождения формальных преобразований кибернетйч. [19]
При разработке алгоритма управления требуются навыки формальных преобразований пере-ключительных функций, их минимизации. Знание технологии в этом случае является второстепенным. [20]
Не следует, однако, принимать эти формальные преобразования как вывод уравнения Шредингера. Уравнение Шредингера является обобщением опытных данных. Оно не выводится в квантовой механике, так же как не выводятся уравнения Максвелла В электродинамике, принцип наименьшего действия ( или уравнения Ньютона) в классической механике. [21]
Не следует, однако, принимать эти формальные преобразования как вывод уравнения Шредингер а. Уравнение Шредингера является обобщением опытных данных. Оно не выводится в квантовой механике, так же как не выводятся уравнения Максвелла в электродинамике, принцип наименьшего действия ( или уравнения Ньютона) в классической механике. [22]
Следовательно ( при условии, что проведенные выше формальные преобразования справедливы), если А является Q-трансформа-цией диагональной матрицы с различными элементами, то, для того чтобы АВ ВА, необходимо и достаточно, чтобы В была О. [23]
Справедливость такого заключения, полученного на основании формальных преобразований, подтверждается тем, что выражение ( 3 - 36) и отвечающая ему формула ( 3 - 49) получены из условия тожде-дественности тока в ветвях примыкания в исходной и преобразованной схемах независимо от величины напряжения в узле примыкания. При этом правая часть отвечает току в исходной схеме. [24]
Риччи, заключается не столько в сложности формальных преобразований, сколько в той первопричине, которая эту сложность вызывает. [25]
Формула ( 7) получена нами в результате формальных преобразований. Предлагаем читателю самому убедиться в этом. [26]
Во-вто-рых, структура этого множества не является следствием только формальных преобразований. [27]
Во-вторых, структура этого множества не является следствием только формальных преобразований. [28]
Тело в этом состоянии не находится в равновесии, однако дальнейшие формальные преобразования на основании принципа Далам-бера можно проводить также как и для состояния равновесия, добавив объемные силы инерции - рйц к каждому элементарному объему тела. Цифровой индекс указывает номер состояния. [29]
Тело в этом состоянии не находится в равновесии, однако дальнейшие формальные преобразования на основании принципа Далам-бера можно проводить также как и для состояния равновесия, добавив - Р № - -) О5ъемные силы инерции - рил к каждому элементарному объему тела. Цифровой индекс указывает номер состояния. [30]