Cтраница 2
Индуктивный характер определения терма дает возможность использовать в доказательствах принцип индукции по построению. [16]
Аналогично индуктивный характер определения терма позволяет индукцией по построению терма задавать функции, определенные на множестве всех термов. [17]
При выборе наших определений терма и формулы мы, конечно, вводили скобки ради вышеизложенной цели, однозначного определения областей действия. Ясно, однако, что обычно в определениях вводят больше скобок, чем строго необходимо для этой цели. Ничего не меняя в определениях, мы можем согласиться опускать лишние скобки для сокращения записи термов и формул или представляющих их метаматематических выражений. [18]
Замечание: в определении терма, приведенном выше, в круглых скобках должно быть указано арифметическое выражение, а не простое арифметическое выражение, являющееся его частным случаем. [19]
Замечание: в определении логического терма, данном выше, мы на самом деле должны были поместить в круглые скобки логическое выражение, а не простое логическое выражение, являющееся его частным случаем. [20]
При применении правила Хунда для определения нормального терма атома по известной электронной конфигурации надо рассматривать только незаполненную оболочку, поскольку моменты электронов в заполненных оболочках взаимно компенсируются. Пусть, например, вне замкнутых оболочек в атоме имеется четыре d - электрона. [21]
При применении правила Хунда для определения нормального терма атома по известной электронной конфигурации надо рассматривать только незаполненную оболочку, поскольку моменты электронов в заполненных оболочках взаимно компенсируются. [22]
При применении правила Хунда для определения нормального терма атома по известной электронной конфигурации надо рассматривать только незаполненную оболочку, поскольку моменты электронов в заполненных оболочках взаимно компенсируются. Пусть, например, вне замкнутых оболочек в атоме имеется четыре d - электрона. [23]
Правила Хунда применимы только для определения терма основного состояния. [24]
Правила Хунда применимы только для определения терма основного состояния и имеют в этом случае надежное теоретическое обоснование. [25]
Правила Хунда применимы только для определения терма основного состояния. [26]
Очевидно, что в этом случае для определения термов атома или иона в кристаллическом поле необходимо исходить из его состояний с учетом межэлектронного и спин-орбитального взаимодействий, 2S 1 /, которые для каждого терма с данными L и S характеризуются еще квантовыми числами / оператора полного момента количества движения, принимающего все значения от L S до L-S через единицу ( стр. При этом, поскольку S принимает и полуцелые значения, / также может быть полуцелым. Например, состояниями одного / - электрона ( L 3, 5 1 / 2) с учетом спин-орбитального взаимодействия будут 2Л /, и 2FT / t и в приближении обсуждаемого случая слабого поля расщепление каждого из них в кристаллическом поле лигандов может рассматриваться отдельно. [27]
Для правил а), б) из определения условных термов предполагаем стандартные интерпретации, имеющие место при интерпретации термов сигнатуры а на алгебрах этой сигнатуры. Функции, определимые на алгебре с помощью условных термов, будем называть условно термальными функциями. [28]
Структурирование типов ( сортов) позволяет сократить область определения терма и тем самым увеличить эффективность дедуктивного вывода. [29]
Каждый шаг, за исключением применений пунктов 1 или 2 из определения терма, производится следующим образом: вначале нам дано одно или два ранее полученных выражения. [30]