THEOREM-PROVING PROCESS

Англо-русский перевод THEOREM-PROVING PROCESS

матем. процесс доказательства теоремы

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

THEOREM-PROVING PROCESS — мат. процесс доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING PROCESS — мат. процесс доказательства теоремы
Новый большой Англо-Русский словарь
THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
PROCESS — [c mediumvioletred] (as used in expressions) basic Bessemer process basic oxygen process Bessemer process bloomery process crucible process cyanide process …
Английский словарь Британика
THEOREM — I. ˈthēərəm, ˈthi(ə)r- sometimes ˈthēr- noun ( -s ) Etymology: Late Latin theorema, from Greek theōrēma sight, spectacle, theory, theorem, …
Webster's New International English Dictionary
PROCESS — I. ˈprä]ˌses also ˈprō] or ]_sə̇s noun ( plural processes “+ə̇z also ÷]_sə̇ˌsēz sometimes ÷]ˌse(ˌ)sēz) Etymology: Middle English proces, processe, …
Webster's New International English Dictionary
PROVING — present part of prove
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
PROVING — (p. pr. & vb. n.) of Prove
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
PROVING — ( p. pr. & vb. n. ) of Prove
Webster's Revised Unabridged English Dictionary
PROCESS — — processual /pro sesh"ooh euhl/ or, esp. Brit, /proh-/ , adj. /pros"es/ ; esp. Brit. /proh"ses/ , n. , pl. …
Random House Webster's Unabridged English Dictionary
PROVING — n. showing as true by providing evidence, demonstrating, verifying, substantiating
Толковый словарь английского языка - Редакция bed
THEOREM — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of …
Merriam-Webster's Collegiate English vocabulary
THEOREM — vt to formulate into a theorem. 2. theorem ·noun a statement of a principle to be demonstrated. 3. theorem ·noun …
Webster English vocab
PROVING — p.pr. & ·vb.n. of prove.
Webster English vocab
THEOREM — in mathematics and logic, a proposition or statement that is demonstrated. In geometry, a proposition is commonly considered as a …
Britannica English vocabulary
THEOREM — theorem BrE AmE ˈθɪər ə m § ˈθiː ə r ə m AmE ˈθiː ə r ə m ˈθɪr ə …
Longman Pronunciation English Dictionary
PROCESS — I . *pro·cess / ˈprəʊses; NAmE ˈprɑːses; ˈproʊ-/ noun , verb —see also process (II) ■ noun 1. a series …
Oxford Advanced Learner's English Dictionary
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
PROCESS — I. pro ‧ cess 1 S1 W1 AC /ˈprəʊses $ ˈprɑː-/ BrE AmE noun [countable] [ Word Family: noun : …
Longman Dictionary of Contemporary English
PROCESS — ( processes, processing, processed) Frequency: The word is one of the 700 most common words in English. 1. A process …
Collins COBUILD Advanced Learner's English Dictionary
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
PROCESS — I. noun COLLOCATIONS FROM OTHER ENTRIES a painful process ▪ It was just part of the painful process of growing …
Longman DOCE5 Extras English vocabulary
THEOREM — n. Bernoulli's theorem binomial theorem central limit theorem Fermat's last theorem fundamental theorem of algebra fundamental theorem of arithmetic fundamental …
Britannica Concise Encyclopedia
THEOREM — n. In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Britannica Concise Encyclopedia
PROCESS — n. basic Bessemer process basic oxygen process Bessemer process bloomery process crucible process cyanide process MacArthur Forrest process due process …
Britannica Concise Encyclopedia
THEOREM — n. 1 hypothesis, proposition, assumption, conjecture, thesis, postulate He has set forth a clever proof of the binomial theorem 2 …
Oxford Thesaurus English vocab
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Большой Англо-Русский словарь
PROVING — Доказывание
Американский Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVING — 1. ʹpru:vıŋ n 1. юр. утверждение ( завещания ) 2. доказывание 3. тех. проба, испытание; опробование 4. кул. расстойка ( …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROCESS — process.ogg _I 1. ʹprəʋsəs n 1. процесс; ход развития natural psychological process - естественный психологический процесс the evolutionary process - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
PROCESS — 1) процесс 2) (технологический) процесс; (технологическая) обработка 3) технологический приём; способ 4) технология 5) режим; ход (процесса) 6) обрабатывать, подвергать …
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
PROCESS — 1) процесс 2) (технологический) процесс; (технологическая) обработка 3) технологический приём; способ 4) технология 5) режим; ход (процесса) 6) обрабатывать, подвергать обработке 7) подвергать анализу, анализировать 8) воспроизводить …
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
PROVING — доказательство, испытания, опробование, проверка
Англо-Русский научно-технический словарь
PROCESS — 1) вычислительный 2) движение 3) обрабатывать 4) обрабатывающий 5) обработать 6) перерабатывать 7) прием 8) процедура 9) процесс 10) способ 11) технологический 12) течение • absolutely random process — чисто случайный процесс absorbing barrier …
Англо-Русский научно-технический словарь
PROVING — 1. сущ.1) а) испытание, исследование, опробирование (тж. в техническом значении) proving of men's temperance — испытание сдержанности людей Syn:testing 1., …
Англо-Русский словарь Tiger
PROVING — (n) доказывание; испытание; опробование; проба; разведка; расстойка; утверждение
English-Russian Lingvistica'98 dictionary
PROVING — (a) испытательный; пробный
English-Russian Lingvistica'98 dictionary
PROVING — 1. [ʹpru:vıŋ] n 1. юр. утверждение ( завещания ) 2. доказывание 3. тех. проба, испытание; опробование 4. кул. расстойка ( …
Новый большой Англо-Русский словарь - Апресян, Медникова
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
PROVING — 1. ʹpru:vıŋ n 1. юр. утверждение ( завещания ) 2. доказывание 3. тех. проба, испытание; опробование 4. кул. расстойка ( …
Большой новый Англо-Русский словарь
PROCESS — _I 1. ʹprəʋsəs n 1. процесс; ход развития natural psychological process - естественный психологический процесс the evolutionary process - эволюционный …
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
PROVING — 1. сущ. 1) а) испытание, исследование, опробирование ( тж. в техническом значении ) proving of men's temperance — испытание сдержанности …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
PROVING — 1. сущ. 1) а) испытание, исследование, опробирование (тж. в техническом значении) proving of men's temperance — испытание сдержанности людей Syn: testing 1., trial 1., probation б) …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
PROVING — 1) проверка, экспериментальная проверка 2) отладка в производственных условиях 3) испытательный; отладочный; контрольный • - block proving - correspondence proving …
Англо-Русский словарь по машиностроению и автоматизации производства 2
PROCESS — 1) процесс; операция; обработка || обрабатывать 2) способ; метод; приём, технологический приём • to design process — разрабатывать технологию to …
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства
PROVING — 1) проверка, экспериментальная проверка 2) отладка в производственных условиях 3) испытательный; отладочный; контрольный • - block proving - correspondence proving - signal proving
Англо-Русский словарь по машиностроению и автоматизации производства
PROCESS — 1) процесс; операция; обработка || обрабатывать 2) способ; метод; приём, технологический приём • to design process — разрабатывать технологию to process the information — …
Англо-Русский словарь по машиностроению и автоматизации производства
PROCESS — 1) процесс 2) отросток, придаток, вырост, лопасть 3) подвергать обработке, обрабатывать • - articular process - autocatalytic process - batch process - bony process - catabolic process - ciliary …
Новый Англо-Русский словарь по биологии
PROCESS — 1) процесс 2) отросток, придаток, вырост, лопасть 3) подвергать обработке, обрабатывать • - articular process - autocatalytic process - batch …
Новый Англо-Русский биологический словарь
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь по компьютерам
PROVING — см. proof
Англо-Русский словарь по компьютерам
PROCESS — 1) процесс (в Windows - выполняемое приложение с собственным виртуальным адресным пространством, кодом, данными и другими ресурсами операционной системы, такими …
Англо-Русский словарь по компьютерам
THEOREM — теорема; предложение - theorem of joint translation - theorem of least work - theorem of three moments
Англо-Русский словарь по строительству и новым строительным технологиям

Англо-Русский научно-технический словарь

← THEOREM-PROVING HEURISTICS THEOREM-PROVING SYSTEM→