Cтраница 1
В-формуле (XIX.6) диаметр трубы и длина участка должны быть выражены в одинаковых единицах. Однако удобнее пользоваться формулой, где диаметр выражен в мм, а длина участка в км. [1]
Определение В-формул и перевода Fn состоит из тех же пунктов, что и у Вейля. [2]
Перевод В-формул F на обычный язык исчисления предикатов определяется индукцией по построению формулы. [3]
Множитель 2 в-формуле (4.6) учитывает спиновое вырождение; иными словами, каждый уровень может быть занят двумя электронами с противоположными спинами. [4]
Если F - В-формула с п аргументами, 1 / п, то 3j F - В-формула с я - 1 аргументами, и ( 3iF) n получается из Fn по существу приписьшанием спереди квантора Эх - и сдвигом индексов, больших /, на единицу. [5]
Если А и В-формулы, то ( А) V ( В) - формула. [6]
Исходное л-местное отношение R является В-формулой с аргументами. [7]
Описанный выше перевод предикатных формул в В-формулы определен только с точностью до алфавитного переименования переменных. [8]
Для лучшего уяснения физического смысла коэффициента А в-формулах (V.29) и (V.32) удобно сопоставить его с коэффициентом перового охлаждения, зависимость для которого приведена на рис. V.5. Ординаты заштрихованной области теплового эффектэ порового охлаждения равны доле от полных затрат тепла на нагрев-воздуха, которая экономится при поровом нагреве воздуха. Эта доля сэкономленного тепла для воздухопроницаемого пористого ограждения равна 1 - А0, где А0 - коэффициент для массива ограждения, соответствующий Аст для стыка, Аок - для окна. [9]
Мы определим по индукции формулы в смысле Вейля ( сокращенно В-формулы), их аргументные места и перевод В-формулы F в формулу Fn обычного языка исчисления предикатов. [10]
Числовые значения коэффициента Су и показателей степени х, у, п в-формуле ( 40) приведены в учебной [18] и справочной [19], [53] литературе. [11]
Если F - В-формула с п аргументами, 1 / п, то 3j F - В-формула с я - 1 аргументами, и ( 3iF) n получается из Fn по существу приписьшанием спереди квантора Эх - и сдвигом индексов, больших /, на единицу. [12]
Мы определим по индукции формулы в смысле Вейля ( сокращенно В-формулы), их аргументные места и перевод В-формулы F в формулу Fn обычного языка исчисления предикатов. [13]
По этим измерениям можно легко установить ( для данного бассейна) среднее количество стаявшего снега на один градус положительной температуры и, кроме того, получить величину коэффициента С в-формуле ( 131) по средним значениям за годы наблюдений. [14]
Разлет продуктов взрыва, как мы знаем, происходит неодномерно, но, вводя ( см. § 65) понятие о массе активной части заряда m - ma, можно считать, что продукты взрыва активной части движутся по оси заряда. Следовательно, в-формулах ( 68 19) - ( 68 22) под т следует понимать массу т активной части заряда. Строго говоря, соотношения ( 68 19) а следова-тельно, и ( 68 22) справедливы для случая мгновенной детонации. [15]