Тождественное соотношение

Cтраница 3

Итак, на многообразии Ж, определенном конечным числом тождеств ранга 1, проблема тождественных соотношений первого ранга алгоритмически неразрешима, и теорема 1 доказана. Однако многообразие 9JK обладает еще одним свойством, которое нам будет нужно в дальнейшем. [31]

Таким образом получается приближенное решение плоской задачи при заданных на контуре сечения смещениях, причем тождественные соотношения Бельтрами заранее не удовлетворены. [32]

Существует конечно определенное многообразие ранга 1 алгебр с двумя унарными операциями, для которого проблема тождественных соотношений от одного переменного алгоритмически неразрешима. [33]

Элементарное поглощение во всех этих теоремах понимается в конъюнктивном смысле; именно, при использовании тождественного соотношения A ( A v В) А говорят, что множитель А осуществляет элементарное поглощение множителя A v В. Доказательства сформулированных теорем мы не будем приводить, поскольку они являются перефразировками доказательств теорем Квайна, Блейка и Нельсона, приведенных в § § 2 и 3 настоящей главы. [34]

Согласно Эренфойхту, класс всех алгебр этой сигнатуры имеет разрешимую элементарную теорию и потому проблема тождественных соотношений ддя любого конечно аксиоматизируемого класса алгебр с одной унарной операцией разрешима. В частности, тривиально разрешима проблема тождественных соотношений для любого конечно определенного многообразия алгебр с одной унарной операцией. [35]

Множество всех переключательных ф-ций, рассматриваемых вместе с операциями отрицания, дизъюнкции и конъюнкции и тождественными соотношениями ( законами), справедливыми для этих операций, называется алгеброй логики или булевой алгеброй. В алгебре логики справедливы следующие законы. [36]

Если К - Q-полугруппа с дистрибутивными образующими и р - конгруэнция Q-алгебры К, определяемая некоторой системой тождественных соотношений, то р является также конгруэнцией Q-полугруппы К. [37]

Функция напряжений Ф, введенная нами при помощи выражений (8.199), может быть определена только на основании тождественных соотношений Сен-Венана. [38]

Уравнение (11.66) получено для действительно существующего в упругом теле состояния деформации в предположении, что удовлетворены шесть тождественных соотношений Сен-Венана. [39]

Равенства (24.1.10) получаются из (24.1.8) лишь при условии, что между переменными q, q0 и t нет никакого тождественного соотношения. Но последнее условие, очевидно, выполняется, ибо в противном случае это означало бы существование тождественного соотношения между переменными qa, р0 и t, что невозможно в силу независимости этих переменных. Однако следует иметь в виду, что в иных случаях подобные тождественные соотношения могут иметь место; ниже мы приведем несколько таких примеров. [40]

Из приведенных соотношений следует, что в алгебре Жегалкина не имеет места принцип дуальности, так как здесь отсутствует тождественное соотношение, выражающее второй дистрибутивный закон. [41]

Поэтому применение вариационного уравнения (16.16) к приближенному решению задач упругого равновесия по способу Сен-Венана не вызывает необходимости в предварительном удовлетворении тождественных соотношений Бельтрами теми значениями шести компонентов напряженного состояния, которыми мы задаемся. Эти тождественные соотношения приближенно удовлетворяются сами собой, и тем точнее, чем больше произвольных постоянных взято в приближенных выражениях компонентов напряженного состояния и чем удачнее сделан их выбор. [42]

Соотношение ( 24 и служит. [43]

В задачах ( § 6, рис. 136), где зависимость между угловыми скоростями различных тел можно установить путем дифференцирования по времени тождественных соотношений между углами поворота, зависимость между угловыми ускорениями часто можно получить путем двукратного дифференцирования по времени этих тождеств. [44]

В задачах ( см. § 6, рис. 53), где зависимость между угловыми скоростями различных тел можно установить путем дифференцирования по времени тождественных соотношений между углами поворота, зависимость между угловыми ускорениями часто можно получить путем двукратного дифференцирования по времени этих тождеств. [45]

Страницы: 1 2 3 4