-
English
-
Russian
-
English
-
Russian
Терм
Translation терм into english
терма
Noun
В древнем Риме термы были популярным местом отдыха.
In ancient Rome, thermae were a popular place for relaxation.
терм
Noun
Этот терм используется в математике.
This term is used in mathematics.
Терм - это единица измерения тепла.
A therm is a unit of heat measurement.
Definitions
терма
Noun
Терма - это горячий источник или бассейн с горячей водой, часто используемый в древнеримских банях.
В древнем Риме термы были популярным местом для отдыха и общения.
терм
Noun
Терм - это древнеримская общественная баня, место для купания и отдыха, часто включающее в себя различные помещения для водных процедур и отдыха.
В древнем Риме термы были не только местом для купания, но и важным социальным центром.
Idioms and phrases
посещение термы
Посещение термы стало частью его ежедневного распорядка.
visiting the thermae
Visiting the thermae became part of his daily routine.
разговор в терме
Разговор в терме затянулся до глубокой ночи.
conversation in the thermae
The conversation in the thermae lasted until late at night.
строительство термы
Строительство термы заняло несколько лет.
construction of the thermae
Construction of the thermae took several years.
работник термы
Работник термы встретил нас у входа.
worker of the thermae
The worker of the thermae met us at the entrance.
отопление термы
Отопление термы осуществлялось с помощью специальной системы.
heating of the thermae
The heating of the thermae was carried out using a special system.
Examples
Если в некотором контексте терм M {\displaystyle M} имеет тип σ → τ {\displaystyle \sigma \to \tau } , а терм N {\displaystyle N} имеет тип σ {\displaystyle \sigma } , то применение M N {\displaystyle M~N} имеет тип τ {\displaystyle \tau } .
Function σ → τ {\displaystyle \sigma \to \tau } If M {\displaystyle M} has type σ → τ {\displaystyle \sigma \to \tau } and N {\displaystyle N} has type σ {\displaystyle \sigma } , then the application M ( N ) {\displaystyle M(N)} has type τ {\displaystyle \tau } .
Один из них - Национальный Римский музей, называемый иногда Музеем Терм, ибо сложилось так, что его основная экспозиция из собрания Кирхериано, с 1890 г. занимает несколько залов античных терм Диоклетиана.
One of them is the national Museum of Rome, sometimes called the Museum of the Thermae, because it so happened that his main exposition of the collection of Kircheriano, since 1890, takes several rooms of the ancient baths of Diocletian.
Такое следует читать как «Поскольку терм 1 принадлежит типу Bool, а термы 2 и 3 принадлежат типу T, то терм “if term 1 then term 2 else term 3” будет принадлежать типу T».
Which should be read as “Given that term 1 has type Bool, and term 2 and term 3 have type T, then the term ‘if term 1 then term 2 else term 3’ has type T”.
Первые два подчеркивают то, что всякий терм единичен (one), тогда как третье выводится из того факта, что всякий терм обладает бытием, т.е. в некотором смысле существует.
The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. is in some sense.
Во-вторых, величина терм в основном лишена постоянства; так величина, выведенная для каждой планеты путем сложения ее терм во всех знаках, в соответствии с которой, по мнению сторонников системы, планеты предопределяют годы жизни, не подкрепляется сколько-нибудь подходящим или приемлемым объяснением.
Secondly, the number of the terms manifestly has no consistency; for the number derived for each planet from the addition of its terms in all the signs, in accordance with which they say the planets assign years of life, furnishes no suitable or acceptable argument.