Два - терм
Cтраница 1
Два терма называются эквивалентными, если один из них можно получить из другого цепочкой элементарных преобразований. [1]
Соединив два терма знаком равенства, получим некоторое высказывание, истинное или ложное в зависимости от того, верно или неверно указанное равенство. Все подобные высказывания составляют набор так называемых элементарных формул формальной арифметики. Если в составляющих высказывание термах содержатся переменные, то оно ( это высказывание) будет представлять собой некоторый предикат, который естественно назвать элементарным арифметическим предикатом. Из подобных элементарных предикатов с помощью операций ( узкого) исчисления предикатов ( включая операции связывания кванторами) строятся более сложные арифметические предикаты. Все предикаты, которые можно построить таким способом, называются арифметическими по Геделю. [2]
Когда два терма сопоставляются, переменные в них заменяются на некоторые значения. [3]
Если два терма отличаются, то должна быть одна и более пар рассогласований. [4]
Например, два терма f ( а, а, Ь, с, Ь) и f ( с, а, Ь, а, Ь) сопоставимы. [5]
Операция сопоставление берет два терма и пытается сделать их идентичными, подбирая соответствующую конкретизацию переменных в обоих термах. [6]
Известно, что два терма одного и того же атома характеризуются различными квантовыми числами J. При этом возможны два случая: число составляющих сверхтонкой структуры каждого терма или одинаково, или различно. Какое квантовое число определяется непосредственным подсчетом числа составляющих в том и другом случаях. [7]
Когда в данной конфигурации встречаются два терма одного и того же типа, то правило диагональной суммы, как мы видели, не определяет отдельно их энергии или расщепления Ланде. Однако эти термы могут быть разделены, если мы знаем весь набор собственных функций Z-5 - связи, посредством нахождения полной матрицы электростатического взаимодействия Q по формулам раздела 8 гл. [8]
 |
Поведение термов атома Кислорода при. больших R. [9] |
Таким образом, если пересекаются два терма, например Zg и IL, то их пересечение всегда точное в том смысле, что возмущения, приводящие к переходам между ними, отсутствуют, а если пересекаются 2g и П, то учет, например, вращения межъядерной оси приведет к переходам. [10]
В каких случаях мы считаем, что два терма равны. [11]
Определение 4 - 8 - Пусть имеются два терма t и г, каждый из которых содержит переменные. [12]
Унификация - процесс, на вход которого поступает два терма и для них находится унификатор. Унификатором двух термов называется подстановка, которая делает термы одинаковыми. Если унификатор существует, то термы называются унифицируемыми и для них отыскивается наиболее общий унификатор, если нет - процедура унификации сообщает об отказе. [13]
Сопоставление - это процесс, на вход которого подаются два терма, а он проверяет, соответствуют ли эти термы друг другу. Если термы не сопоставимы, будем говорить, что этот процесс терпит неуспех. Если же они сопоставимы, тогда процесс находит конкретизацию переменных, делающую эти термы тождественными, и завершается успешно. [14]
В выражении не могут стоять подряд два символа операдий или два терма. [15]
Страницы: 1 2 3 4