Cтраница 2
Это позволит произвести в рассматриваемых формулах замену синусов углов на сами углы, а косинусов - на единицы. [16]
Это позволит произвести в рассматриваемых формулах замену синусов углов на сами углы, а ко-си Нусов - на единицы. [17]
Это позволит произвести в рассматриваемых формулах замену синусов углов на сами углы, а косинусов - на единицы. [18]
При этом в случае арифметики рассматриваемые формулы должны быть замкнутыми. [19]
В книге Фортье [32 ] в рассматриваемой формуле для силы, действующей на сферу ( см. разделы 4.5.3 - 4.5.5 в [32]), неправильно учтены составляющие из-за ускорений фаз. Это связано с ошибочным учетом силы Архимеда ( см. замечание после (3.3.20)) и ошибкой в формуле для силы на покоящуюся сферу в нестационарном поступательном потоке. [20]
Расчет объема вычислительных работ по рассматриваемым формулам является приближенным, так как нормативы вычислительных работ определяются приближенно. [21]
Поэтому, согласно критерию 2, рассматриваемая формула неопровержима. [22]
Таким образом, в левой части рассматриваемой формулы только один член не равен нулю. [23]
При этой оценке первые три из рассматриваемых формул, а также любые формулы, выводимые из них с помощью подстановок и схемы заключения, всегда принимают значение а. Четвертая из указанных формул этим свойством не обладает. [24]
Различие в молекулярном весе не препятствует применению рассматриваемых формул. В общем случае необходимо знать коэффициенты активности. [25]
Такая дизъюнкция всех элементарных конъюнкций, для которых рассматриваемая формула истинна, называется совершенной дизъюнктивной нормальной формой. [26]
Пусть ы - любая переменная, входящая в рассматриваемые формулы, и ы - - ] ы, а ы1 и. [27]
Механизм, которым реально можно было бы установить выводимость рассматриваемых формул, близок к описанному и резко отличается как от собственного метода резолюций, так и от алгоритма Британского музея. [28]
Все рассуждения предыдущего параграфа не зависят от того, входят ли в рассматриваемые формулы индивидуальные предметы или нет. Поэтому доказанные в этом параграфе положения мы можем применять и к выполнимости в расширенном смысле слова, которую мы сейчас - определим. [29]
Если при решении уравнения применить к одной или нескольким функциям уравнения любую из рассматриваемых формул так, что левая часть этой формулы будет заменена правой частью, то возможна потеря корней исходного уравнения, поэтому такие преобразования недопустимы. Те из них, при каждом из которых исходное уравнение превращается в неверное числовое равенство, нужно отбросить. [30]