Cтраница 1
Построение формул с помощью связывания формульных переменных кванторами происходит аналогично построению формул с помощью связывания индивидных переменных. [1]
Построение формул происходит рекурсивно с использованием атомарной формулы и логических связок и кванторов. Переменная в формуле называется связанной, если она стоит под каким-либо квантором, в противном случае она называется свободной. Так, в формуле Зх ( ( х е z) Л ( ( х е у переменная х связанная, а переменные у, z свободные. [2]
Построение формул численного интегрирования в основном определяется выбранной конечно-разностной аппроксимацией производных. [3]
Без построения формулы нелегко установить, что оба названия относятся к одному и тому же веществу. [4]
Из построения формулы для jv видно, что нормальные напряжения на всех гранях октаэдра одинаковы и равны среднему нормальному напряжению. [5]
Для построения формул пересчета необходимо точно знать зависимость между глубиной внедрения и нагрузкой. Степенной закон Мейера дает обобщенную зависимость между диаметром отпечатка d и нагрузкой Р в виде d - Pn, где nconst. Для индентеров типа пирамиды и конуса, дающих при всех нагрузках геометрически подобные отпечатки, эта же зависимость имеет место и между глубиной внедрения и нагрузкой. [6]
Идеология построения формул типа ( 6) использована А. Г. Горшковым, А. Л. Медведским и Д. В. Тарлаковским [24] и А. В. Вестяком, А. Г. Горшковым, А. Л. Медведским и Д. В. Тарлаковским [11] для исследования пространственно двумерных задач о начальном этапе взаимодействия упругих сферы и цилиндра с неподвижным полупространством. При этом используются разложения в ряды соответственно по полиномам Лежандра и тригонометрическим функциям. [7]
При построении формул и названий все неорганические соединения условно рассматриваются как состоящие из электроположительной и электроотрицательной частей. [8]
При построении формул и названий все неорганические соединения, за исключением интерметаллических, условно рассматриваются как состоящие из электроположительной и электроотрицательной частей. В ионных соединениях электроположительной частью является катион, электроотрицательной - анион. Ковалент-ные соединения условно рассматриваются также с указанной точки зрения с использованием значения относительных электроотрицательностей. [9]
При построении формул и названий все неорганические соединения условно рассматриваются как состоящие из электроположительной и электроотрицательной частей. [10]
При построении формулы изобретения на способ помимо общих правил необходимо учитывать особенности способа как объекта изобретения. [11]
При построении формулы изобретения на способ, помимо общих правил, необходимо учитывать особенности способа как объекта изобретения. [12]
При построении формулы прочности, основанной на учете разности объемных весов гидратных новообразований, учитывается количество химически связанной воды. [13]
При построении формулы изобретения на способ, помимо общих правил, необходимо учитывать особенности способа как объекта изобретения. [14]
О построении формул гидратов подробнее - см. разд. [15]