Cтраница 1
Различные утверждения, относящиеся к этим предельным случаям носят названия законов больших чисел. [1]
Различные утверждения относительно связей между пространствами W1 ( Я) при различных / и р называются теоремами вложения. [2]
Различные утверждения третьего закона термодинамики остаются неизменными при отрицательных абсолютных температурах, если под абсолютным нулем температуры понимать О К как положительной, так и отрицательной температуры. Температуры 0 К и - О К соответствуют совершенно различным физическим состояниям. Для первого система находится в состоянии с наименьшей возможной энергией, а для второго - с наивысшей. Система не может стать холоднее, чем 0 К, так как она не может больше отдать энергию. Она не может стать горячее, чем - О К, так как она не может больше поглотить энергию. [3]
Здесь можно сформулировать различные утверждения, двойственные тем, что приводились только что для коамальгамы. Отметим лишь, что в категории множеств для построения амальгамы нужно вначале взять свободное объединение В U С, а затем произвести отождествление af с ag для каждого а е А. [4]
Будут также обоснованы различные утверждения, сделанные в главе 9, относительно криволинейного сдвигового течения. [5]
Теорема содержит два различных утверждения. [6]
Так же обстоит дело с различными утверждениями относительно поведения других человеческих существ, особенно если речь идет об общем поведении значительного числа людей. Например, если завтра в некоей большой стране состоятся общие выборы, то все лица, которые несколько в курсе политического положения, сойдутся на мнении о достоверности того, что такая-то партия получит по меньшей мере 30 мест, а другая партия не менее 200 мест. Такие достоверности не могут не подтвердиться, если только не произойдет какой-нибудь катаклизм в природе, что помешает выборам, или катаклизм социальный, вроде государственного переворота, что глубочайшим образом изменит условия голосования или доброкачественность результатов. [7]
Курс алгебры включает в себя значительное число различных утверждений. Довольно широко распростра-не % о мнение, что в геометрии надо рассуждать строго, там есть теоремы, которые требуют аккуратного доказательства, использующего определения, а в алгебре есть, только одна теорема - теорема Виета, все же остальное - всякие слова и формулы. [8]
Курс алгебры включает в себя значительное число различных утверждений. Довольно широко распространено мнение, что в геометрии надо рассуждать строго, там есть теоремы, которые требуют аккуратного доказательства, использующего определения, а в алгебре есть только одна теорема - теорема Виета, все же остальное - всякие слова и формулы. [9]
Все сказанное по поводу этих фактов касается также различных утверждений, содержащихся в статье Орована. В ней мое имя упоминается в связи с высказываниями, которых я никогда не делал и за которые не несу ответственности. [10]
Относительно природы связи между платиной и олефином высказывалось много различных утверждений спекулятивного характера. [11]
Задание вероятностной меры на пространстве Q делает определенными в вероятностном смысле различные утверждения относительно случайных объектов. [12]
В математике и других науках наряду с высказываниями приходится иметь дело с различными утверждениями ( предложениями), зависящими от одной или нескольких переменных. В логике их называют предикатами. Например, предложение я - простое число зависит от переменной п, принимающей натуральные значения. При одних значениях п оно истинно, при других - ложно. Уравнения и неравенства также являются такого рода предложениями. Истинность или ложность этого предложения зависит от того, какое именно значение переменной х выбрать. Если, например, к - - - 3, то предложение истинно, если x Q, то ложно. Уравнение х - - у - 1 является предложением, зависящим от двух переменных х и у. При л: - у 1 / 2 предложение х у - 1 истинно, при А - - н - 0 оно, очевидно, ложно. [13]
В математике и других науках наряду с высказываниями приходится иметь дело с различными утверждениями ( предложениями), зависящими от одной или нескольких переменных. В логике их называют предикатами. Например, предложение п-простое число зависит от переменной п, принимающей натуральные значения. При одних значениях п оно истинно, при других-ложно. Уравнения и неравенства также являются такого рода предложениями. Истинность или ложность этого предложения зависит от того, какое именно значение переменной х выбрать. Если, например, х 3, то предложение истинно, если х0, то ложно. Уравнение х у1 является предложением, зависящим от двух переменных х и у. При ху / 2 предложение х у истинно, при х у 0 оно, очевидно, ложно. [14]
Здесь у, х и - х обозначают элементы системы объектного уровня, в данном случае - различные утверждения программы на объектном языке ( ОЯ) хорновских дизъюнктов. С другой стороны, символы выводится, Пвыводится и если являются элементами метаязыка ( МЯ), на котором мы описываем свойства системы объектного уровня. [15]