Определение - терм
Cтраница 3
Чтобы терм действительно мог служить выражением способа построения класса из элементарных классов, определению терма, в спою очередь, должно предшествовать еще рассмотрение о п е р а ц и и с классами. [31]
Для того чтобы определить основной терм углерода, обратимся к разобранному в § 72 примеру определения термов для двух эквивалентных р-электронов. В этом случае атом содержит менее половины всех возможных эквивалентных р-электронов. [32]
Нетрудно видеть, что к той же совокупности условно термальных функций на алгебрах приводит и следующий вариант определения условных термов при их естественной интерпретации функциями на алгебрах. [33]
В силу этого класс условно термальных функций на универсальных алгебрах может быть задан и с помощью следующего варианта определения условного терма. [34]
При построении конкретного логико-математического языка обычно подразумевается некоторый смысл составляющих его символов, однако при описании языка, определении термов и формул этот смысл никак не используется. После того как выбрана сигнатура языка, мы вправе наделять входящие в нее символы новым смыслом, отличным от того, который вкладывался в них на этапе построения языка. [35]
Поскольку иерархическая структура является фиксированной, то фиксированными являются и все структурные отношения в ней и, следовательно, области определения термов. Поскольку функция fc ( xi / / X / / ( xi / / X ] определена на множестве частей объекта, заданного переменной xi, то она не зависит непосредственно от переменной xi / / X. Ьзш, если х есть аз, и на которую заменяется переменная XQ в классическом алгоритме сколемизации, если она связана квантором 3 и стоит на первом месте в префиксе. [36]
В случае, когда объекты состоят из одной компоненты, сортность термов не указывается в префиксе и шаг проверки унификации доменов термов в формулах пропускается, поскольку области определения термов однозначно задаются их - - предками. [37]
Так как существует собственное спаривание, то, по лемме 2, это спаривание однозначно и поэтому может быть найдено посредством алгоритма из § 7, без предварительного знания построения формулы согласно определениям терма и формулы. Мы фактически уже проделали это в конце § 7, где те же самые 22 скобки рассматривались независимо от стоящих между ними символов. [38]
 |
Термы молекулярных электронов двухатомных молекул. [39] |
В табл. 4 приведены термы для некоторых типов молекуляр. При определении термов учитывают только незамкнутые МО. [40]
Поскольку построение ско-лемовской функции не зависит от числа компонентов объектов, приведем случай, когда объекты состоят из одной компоненты. При этом области определения термов однозначно определяются их - - предками по иерархической структуре. [41]
В заключение этой главы подчеркнем, что здесь термы в алгебре Халмоша Н реализуются как элементы соответствующей полугруппы End W, содержащей исходную S. Подход Халмоша к определению термов не предполагает, что все термы организованы в определенную полугруппу. [42]
Это правило справедливо и в отношении ms: на заполненных орбиталях всегда находятся пары электронов с противоположными спинами. Это обстоятельство заметно упрощает определение термов многоэлектронных молекул, поскольку значительная часть электронов на различных МО обычно представляет собой пары с противоположными спинами. [43]
РАВНОСИЛЬНЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ СХЕМ ( logical circuits equivalent transformations; transformations equi-valentes de circuits logiques: aquivalente Ura-wandlungen logischer Schaltungen) - изменения логических схем, приводящие к новым логич. Под выражением в данном случае понимается конечная строка термов ( определение терма см. в ст. Логическая схема), в к-рой индексы правых знаков перехода попарно различны, и терм с оператором Иа может присутствовать только на первом ( самом левом) месте. Простейшими выражениями являются сами терми; их наз. [44]
РАВНОСИЛЬНЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ СХЕМ ( logical circuits equivalent transformations; transformations equi-valentes de circuits logiques; aquivalente Um-wandlungen logischer Schaltungen) - изменения логических схем, приводящие к новым логич. Под выражением в данном случае понимается конечная строка термов ( определение терма см. в ст. Логическая схема), в к-рой индексы правых знаков перехода попарно различны, и терм с оператором И0 может присутствовать только на первом ( самом левом) месте. Простейшими выражениями являются сами термы; их наз. [45]
Страницы: 1 2 3 4