Cтраница 1
Свойства выражений ( 33 8), ( 33 9), ( 33 10) и ( 33 11) аналогичны обсужденным выше свойствам соответствующих выражений для столкновений частиц. [1]
Некоторые свойства выражения (8.4.40) будут использованы в следующем разделе. [2]
Изучение свойств выражения (18.7) позволяет найти и другие кинетические схемы, допускающие подобное описание через обобщенный функционал. [3]
Для описания свойств выражений типа ( ( GF) и, у полезно более общее понятие скалярного произведения. [4]
С помощью рассматриваемой нумерации свойства выражений формализма F и отношения между ними, формулируемые в терминах внешнего вида этих выражений, изображаются рекурсивными предикатами, а выполняемые над этими выражениями формальные операции изображаются рекурсивными функциями. [5]
Теперь направим наше внимание главным образом на то, какие свойства выражений Пфаффа остаются инвариантными при совокупности точечных преобразований. [6]
Специфические свойства дифференциальных уравнений Гамильтона самым тесным образом связаны со свойствами определенных выражений, названных Пуанкаре1 интегральными инварианталги. [7]
При решении нестандартных уравнений применяются следующие основные приемы: разложение на множители выражений с переменными; исследование свойств выражений, входящих в уравнения; исследование свойств выражений с переменными на различных множествах их определения. [8]
При решении нестандартных уравнений применяются следующие основные приемы: разложение на множители выражений с переменными; исследование свойств выражений, входящих в уравнения; исследование свойств выражений с переменными на различных множествах их определения. [9]
С дедуктивной точки зрения этот формализм вполне удовлетворителен. Однако арифметизация его метаматематики оказывается довольно неудобной, потому что в соответствии с i-правилом свойство выражения iESl ( j) быть термом зависит от выводимости связанных с формулой 91 ( с) формул единственности3), так что определение понятия терм оказывается переплетенным с определением выводимости. [10]
Для выявления механизмов процесса, описываемого выражением (2.1), целесообразно провести достаточно детальный его анализ. Как известно, оно доказывается с помощью соотношений гармонического анализа. В связи с этим следует рассмотреть свойства выражения (2.1), получив соответствующий ему частотный эквивалент. [11]
Теперь мы посмотрим, как структурные свойства выражений исчисления предикатов и отношения между этими выражениями переводятся в арифметические отношения между изображающими эти выражения номерами. В частности, мы увидим, что для непосредственно определяемых свойств выражений исчисления предикатов и отношений между этими выражениями арифметический перевод дается рекурсивными функциями и предикатами. [12]