Cтраница 1
Понятие терма ( системы Ze) вводится индуктивно. [1]
Понятие терма вводится следующим образом: 1) упорядоченная пара ислогич. [2]
Понятие терма вводится следующим образом: 1) упорядоченная пара нелогич. [3]
Определим понятие терма данной сигнатуры. [4]
Затем с помощью понятия терма расширяется понятие элементарной формулы. Это делается следующим образом: элементарной формулой считается либо формульная переменная без аргументов, либо формульная переменная с термами в качестве аргументов, либо предикатный символ с термами в качестве аргументов. [5]
В этих условиях вводится понятие проточно-электронного терма, включающего потенциальную энергию растворителя, полную ( квантованную) энергию электронов и полную ( квантованную) энергию протонов. Механизм элементарного акта разряда здесь также связан с реорганизацией растворителя. Так, если в результате флуктуации растворителя полные энергии электронов и протонов в начальном и конечном состояниях системы оказываются равны ( точки пересечения протонно-электронных термов), то появляется возможность для одновременного туннельного перехода электрона и протона с образованием адсорбированного атома водорода. [6]
Обычно в электронной спектроскопии пользуются понятием термов для классификации квантовомеханическпх состояний многоэлектронных систем. [7]
В такой ситуации оказывается целесообразным внести понятие диабатических термов как термов, по которым при достаточно больших скоростях происходит движение системы с вероятностью, близкой к единице. [8]
Для данной модельной структуры А естественно определяется понятие оцененного терма или А-терма. А именно, мы расширяем наш язык, добавив к нему для каждого типа г все элементы области UT в качестве новых констант типа г. Заметим, что мы предполагаем, что вновь введенные константы отличны от остальных эле ментов языка. [9]
Замысел нашего определения состоит в том, что понятие терма должно будет формализовать у нас понятие числа, понятие функционала - понятие арифметической функции, а понятие формулы - понятие высказывания. [10]
Ввод и вывод могут быть основаны либо на понятии терма, либо на понятии символа. [11]
Для более отчетливого описания строения множества N целесообразно воспользоваться понятием терма, определяемого следующим образом. [12]
Настоящая монография посвящена изложению основных результатов, связанных с понятием условного терма. [13]
Утверждение этой теоремы имеет целый ряд как непосредственных, так и более отдаленных следствий, связанных с понятием условного терма. [14]
Доказательство того, что при подходящем выборе арифметического формализма оба эти требования могут быть удовлетворены совместно, будет проведено с использованием некоторого рекурсивно-арифметического изображения понятия терма ( на основе соответствующей нумерации), поскольку наш формализм мы выберем таким образом, чтобы каждый не содержащий аргументов терм представлял собой формализацию однозначного определения некоторого числа. [15]