-
1 частное доказательство
Mathematics: subproofУниверсальный русско-английский словарь > частное доказательство
-
2 повышение температуры
Антонимический ряд:Русско-английский большой базовый словарь > повышение температуры
-
3 рабочая температура
1. temperature of operation2. operating temperatureРусско-английский большой базовый словарь > рабочая температура
-
4 влияние температуры
-
5 диапазон температур
-
6 зависимость от температуры
Русско-английский научный словарь > зависимость от температуры
-
7 компенсация влияния температуры
Русско-английский научный словарь > компенсация влияния температуры
-
8 конечная температура
-
9 критическая температура
-
10 падение температуры
-
11 перепад температур
1. thermal gradient[lang name="Russian"]бой, вызванный перепадом температур — thermal shock breakage
2. temperature drop -
12 предел колебания температур
Русско-английский научный словарь > предел колебания температур
-
13 предельная температура
-
14 прибор для регистрации температуры
Русско-английский научный словарь > прибор для регистрации температуры
-
15 приведенная температура
-
16 регулирование температуры
1. attemperation2. temperature controlРусско-английский научный словарь > регулирование температуры
-
17 датчик температуры
1. temperature pickup2. temperature transmitterРусско-английский новый политехнический словарь > датчик температуры
-
18 комнатная температура
Русско-английский новый политехнический словарь > комнатная температура
-
19 перитектическая температура
Русско-английский новый политехнический словарь > перитектическая температура
-
20 эвтектическая температура
Русско-английский новый политехнический словарь > эвтектическая температура
- 1
- 2
См. также в других словарях:
Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… … Wikipedia
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
