Cтраница 2
Существует множество аппроксимационных формул для вычисления коэффициента Z. Однако свойства реальных газов столь сложны, что универсальных формул для всех газов и во всем диапазоне изменения определяющих параметров не существует, поэтому в разных случаях используются различные приближенные формулы. [16]
Из множества формул нелинейного сглаживания здесь приводятся полностью только формулы сглаживания многочленом третьей сте пени по семи точкам. [17]
Наличие множества формул для К при движении вязкопла-стичных жидкостей и ограниченность их пригодности объясняется тем, что при обработке экспериментальных данных окончательные результаты во многом зависят от способа нахождения таких параметров как эффективная вязкость и градиент скорости. Последний меняется от нуля на оси потока до максимального значения у стенки трубы. Более того, в случае течения вязкопластич-ной жидкости градиент скорости у стенки трубы зависит не только от средней скорости движения и радиуса трубы, но и от значения реологических параметров. [18]
А и множества формул, предположительных относительно этого Немонотонного А множества. [19]
А и множества формул, предположительных относительно этого Немонот. [20]
& из множества формул 5, если а есть а и для любого / С гс либо а; есть логическая аксиома ( т.е. формула одного из видов СП - ( Т12) - см. V, § 11, стр, 220 - 221), либо а е 5, либо же а. [21]
Теорема 1.8. Множество формул S выполнимо тогда и только тогда, когда все его конечные подмножества выполнимы. [22]
Идея истолкования множества формул формализованного языка как универсальной алгебры с операциями, соответствующими логическим связкам, была впервые использована А. В последние гады она часто применяется многими авторами ( см. примечание на стр. [23]
На всем множестве формул определяемое выявляются эквивалентные конструкции. Все они заменяются на одну каноническую конструкцию - представитель. [24]
Допустим, что множество формул ф: х замкнуто относительно конъюнкций. Я, - - А есть функция, отображающая К в А. [25]
Предположим, Что множество формул i / i... [26]
Действительно, пусть множество формул Ф1 Ф2 выполнимо. [27]
В частности, множества формул, доказуемых в ИП и в ИП, совпадают. [28]
Пусть Г - множество формул, всякое конечное подмножество которого совместно. Тогда и все множество Г совместно. [29]
Любая модель для множества формул ( соответственно, для формулы или Для теории) в двухэлементной булевой алгебре Л0 называется семантической моделью. [30]