Cтраница 3
Исходя из элементарной формулы клетчатки ( C6HloOs) n t трудно видеть, что в классификация, предложенной Эдероь ког фйцяеят. [31]
Теми же элементарными формулами, но при условии введения в них проправочных коэффициентов, оказывается возможным воспользоваться в случае приближенного расчета усилия выдавливания глубокого рельефа при наличии подкладных плит - приемников, отверстия в которых несколько меньше площади проекции выдавливаемого углубления на плоскость, перпендикулярную-ходу инструмента. [32]
Говоря упрощенно, элементарные формулы являются формализацией предложений, утверждающих, что представленные предикатами отношения выполняются для представленных термами индивидов. [33]
Итак, для элементарных формул существуют равносильные нормальные формулы; если формула 91 полу-чена с помощью операций &, V, - и связывания кванто ром из формул, для которых существуют равносильные нормальные формулы, то и для 91 существует равносильная нормальная формула. [34]
Вначале определим носитель элементарной формулы. [35]
Таким образом, определяются элементарные формулы и даются правила образования новых. [36]
Каждому из них отвечают элементарные формулы вида м1гМ2, где w и W2 содержатся в Wt. Соответствующие аксиомы выполняются, если в каждой интерпретации / формуле w W2 отвечает равенство соответствующих элементов. [37]
Следует отметить, что элементарные формулы осколочных ионов не позволяют точно установить взаимное расположение атомов в них; речь может идти лишь о наличии циклической структуры, обеспечивающей повышение стабильности. [38]
Доказательство непосредственно вытекает из элементарных формул, касающихся преобразования осей координат. [39]
Вначале проверим включение для элементарных формул. Заменим Y его двойником / - подмножеством в / - и покажем, что / есть носитель элемента f ( и) алгебры Халмоша ЙЧ. Тоща Af ( м) /, и в этом смысле понимаем включение в формулировке предложения. [40]
Так приходим к интерпретации элементарных формул в реляционной алгебре V. Возможности реляционных алгебр позволяют интерпретировать в них и произвольные формулы. [41]
Ясно, что посредством элементарных формул этих четырех типов и подходящей расстановки скобок можно записать естественным образом более сложные формулы, описывающие более сложные сочетания алгоритмов. Мы не станем определять более точно и педантично этот язык формул, который будем называть входным языком программирования или просто входным языком, считая его достаточно понятным, и ограничимся лишь иллюстрацией его на примерах. [42]
Выражение, составленное из элементарных формул с помощью конъюнкций, дизъюнкций и отрицаний по обычным правилам, будет называться открытой формулой, а выражение, составленное из элементарных формул только с помощью конъюнкций и дизъюнкций, будет называться положительной открытой формулой. [43]
Эти формулы составлены из элементарных формул с помощью связок исчисления высказываний. И вообще, пусть Фг 1 Фг 1 -элементарные формулы, впервые появляющиеся в S3j 1 и расположенные в порядке их первого появления. [44]
Правая часть этого уравнения согласно элементарным формулам классической электростатики представляет собой электрическое смещение D ( x), которое создается зарядовой плотностью р ( х), Для отыскания не определенной до сих пор постоянной f рассмотрим уравнение (29.11) в статическом случае. [45]