THEOREM-FINDING HEURISTICS

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

матем. эвристика построения теоремы

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

THEOREM-FINDING HEURISTICS — мат. эвристика построения теоремы
Большой Англо-Русский словарь
THEOREM-FINDING HEURISTICS — мат. эвристика построения теоремы
Новый большой Англо-Русский словарь
FINDING — n. sententie, verdicte, judicie
English interlingue dictionary
FINDING — kaplag
English-Visayan vocabulary
FINDING — noun Date: 14th century 1. the act of one that finds, find 2, small tools and supplies used by an …
Толковый словарь английского языка - Merriam Webster
THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
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
FINDING — noun ( -s ) Etymology: Middle English, from gerund of finden to find — more at find 1. : find …
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
FINDING — (n.) The result of a judicial examination or inquiry, especially into some matter of fact; a verdict; as, the finding …
Английский словарь Webster
FINDING — (n.) Support; maintenance; that which is provided for one; expence; provision.
Английский словарь Webster
FINDING — (n.) That which is found, come upon, or provided; esp. (pl.), that which a journeyman artisan finds or provides for …
Английский словарь Webster
FINDING — (p. pr. & vb. n.) of Find
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
FINDING — /fuyn"ding/ , n. 1. the act of a person or thing that finds; discovery. 2. Often, findings . something that …
Random House Webster's Unabridged English Dictionary
HEURISTICS — n. study and application of heuristic methods
Толковый словарь английского языка - Редакция 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
FINDING — p.pr. & ·vb.n. of find. 2. finding ·noun support; maintenance; that which is provided for one; expence; provision. 3. finding …
Webster English vocab
HEURISTICS — [usu. treated as sing. ] the study and use of heuristic techniques. → heuristic
Concise Oxford 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
FINDING — finding BrE AmE ˈfaɪnd ɪŋ ▷ finding|s z
Longman Pronunciation English Dictionary
HEURISTICS — / hjuˈrɪstɪks; NAmE / noun [ U ] ( formal ) a method of solving problems by finding practical ways …
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
HEURISTICS — heu ‧ ris ‧ tics /hjʊˈrɪstɪks/ BrE AmE noun [uncountable] formal the study of how people use their experience to …
Longman Dictionary of Contemporary English
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
HEURISTICS — noun EXAMPLES FROM CORPUS ▪ In contrast, expert systems rely heavily on heuristics , or rules of thumb, which are …
Longman DOCE5 Extras English vocabulary
FINDING
Longman DOCE5 Extras English vocabulary
FINDING — [noun] [C usually singular]A finding is a judgment made at the end of a judicial inquiry (= an official legal …
Cambridge English vocab
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
FINDING — Synonyms and related words : accomplishment, accouterment, action, answer, armament, ascertainment, award, bonus, bringing to light, buried treasure, casual discovery, …
Moby Thesaurus English vocabulary
FINDING — noun 1 ( usually findings ) result of research into sth ADJECTIVE ▪ important , key , significant ▪ I'll …
Oxford Collocations English Dictionary
FINDING — n. 25B6; noun the finding of the leak : DISCOVERY, location, locating, detection, detecting, uncovering. the tribunal's findings : CONCLUSION, …
Concise Oxford Thesaurus English vocabulary
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
HEURISTICS — [organizational behavior] a shortcut of decision making by referring to known situation Note: classic heuristics based on one or two …
Sean Woo's Finance, GIS and Real Estate English Glossary
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
HEURISTICS — сущ. эвристика (логика) эвристика heuristics эвристика
Большой Англо-Русский словарь
FINDING — сущ. 1) находка; выявление, обнаружение, раскрытие 2) решение (присяжных); приговор (суда); мн. выводы (комиссии) 3) мн. приклад (для платья и …
Большой Англо-Русский словарь
HEURISTICS — Эвристика
Американский Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
HEURISTICS — n лог. эвристика
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FINDING — finding.ogg ʹfaındıŋ n 1. находка, обнаружение, открытие 2. 1> решение ( суда ) 2> вывод, заключение ( комиссии и т. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
HEURISTICS — эвристика
Большой Англо-Русский политехнический словарь
FINDING — 1) отыскание; обнаружение 2) факт, заключение ( в экспертных системах ) 3) мн. ч. полученные данные; сведения 4) пеленгация • …
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
HEURISTICS — эвристика
Большой Англо-Русский политехнический словарь - РУССО
FINDING — 1) отыскание; обнаружение 2) факт, заключение (в экспертных системах) 3) мн. ч. полученные данные; сведения 4) пеленгация • - acoustic direction finding - cathode-ray tube automatic …
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
HEURISTICS — эвристика - mathematical heuristics - nonformal heuristics - theorem-finding heuristics - theorem-proving heuristics - theoretical heuristics
Англо-Русский научно-технический словарь
FINDING — 1) обнаружение, определение, нахождение 2) телефон. искание 3) обретение 4) заключение (экспертизы) 5) ориентация, ориентировка • - radio direction finding
Англо-Русский научно-технический словарь
HEURISTICS — эвристика
Англо-Русский словарь Tiger
FINDING — finding сущ.1) обнаружение, отыскание, нахождение 2) находка; открытие; полученные данные, сведения 3) а) решение, приговор (суда) the findings of an …
Англо-Русский словарь Tiger
HEURISTICS — (n) звристика; эвристика
English-Russian Lingvistica'98 dictionary
HEURISTICS — (a) эвристический
English-Russian Lingvistica'98 dictionary
HEURISTICS — n лог. эвристика
Новый большой Англо-Русский словарь - Апресян, Медникова
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
HEURISTICS — n лог. эвристика
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
HEURISTICS — 1) эвристика ( знания эксперта на основе практики ) 2) эвристические правила, набор эвристических правил ( напр. для диспетчирования в …
Англо-Русский словарь по машиностроению и автоматизации производства 2

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

← THEOREM SCHEME THEOREM-PROVING HEURISTICS→