терм

В нашем примере, где операторами являются только + и *, терм представляет собой произведение одного или несколько сомножителей.

In our example, where + and * are the only operators, a term is a product of one or more factors.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Не обязательно, чтобы различные термы имели различные значения.

It is not necessary that distinct terms have distinct values.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Перейдем к вопросу о том, как отражается существование спина на величинах термов.

We shall now investigate the question of how the statements of the atomic theory with regard to the values of the terms are to be corrected in the light of the recognition of the existence of spin.

Born, Max / Atomic PhysicsБорн, Макс / Атомная физика

Атомная физика

Борн, Макс

Atomic Physics

Born, Max

Водородоподобные спектры возникают, когда электрон движется в кулоновом поле (термы водорода) или в близком к кулонову центральном поле (экранирование остальными электронами, характеризующее термы щелочных металлов и рентгеновские термы).

The hydrogen-like spectra arise when an electron moves in a Coulomb field (hydrogen terms) or in a Coulomb-like central field (screening by the rest of the electrons; alkali and X-ray terms).

Born, Max / Atomic PhysicsБорн, Макс / Атомная физика

Атомная физика

Борн, Макс

Atomic Physics

Born, Max

В связи с этим схема термов гелия распадается на две отдельные группы в зависимости от того, равен полный спин нулю или единице.

The term scheme of helium breaks up therefore into two separate groups, according as the total spin is zero or unity;

Born, Max / Atomic PhysicsБорн, Макс / Атомная физика

Атомная физика

Борн, Макс

Atomic Physics

Born, Max

Древние греки и римляне любили посещать термы, скифы сооружали шалаши-парильни, в Турции издревле существовали бани хаммам, а у ацтеков были свои бани - "тамескалы".

The ancient Greeks and Romans visited therms, the Scythians constructed steam bath huts, in Turkey there were hammam baths and the Aztecs had their unique steam houses.

© 2000-2009 Moscow-Hotels-Russia.com

http://www.moscow-hotels-russia.com 25.09.2008

© 2000-2009 Moscow-Hotels-Russia.com

© 2003-2009 Optima Tours

http://www.moscow-hotels-russia.com 25.09.2008

Введем также новые метаматематические символы, позволяющие внести дальнейшие сокращения в запись термов и формул.

We also introduce new metamathematical symbols to permit abbreviations of terms and formulas.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Но опыт показывает, что, за исключением s-термов, все термы натрия дублетны.

Now experiment shows that the terms of sodium, excepting the s-terms, are double.

Born, Max / Atomic PhysicsБорн, Макс / Атомная физика

Атомная физика

Борн, Макс

Atomic Physics

Born, Max

Чтобы избежать ссылок на типы констант, мы примем следующее соглашение: типы всех переменных и констант таковы, что все выражения, в которых они встречаются, образованы в соответствии с правилами образования термов, формул и определяющих равенств.

To avoid constant references to type, we adopt the following convention: the types of all variables and constants are to be such that all expressions which occur are formed according to the rules for forming terms, formulas, and defining equations.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.