QUANTIFIED THEOR

Англо-русский перевод QUANTIFIED THEOR

мат. кванторная теория

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

QUANTIFIED THEOR — мат. кванторная теория
Большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
THEOR — abbreviation theorem
Webster's New International English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
QUANTIFIED — adj. having a determined quantity; having an expressible quantity
Толковый словарь английского языка - Редакция bed
QUANTIFIED — Synonyms and related words : a, admeasured, an, any, appraised, assessed, certain, gauged, known by measurement, mapped, measured, metered, one, …
Moby Thesaurus English vocabulary
QUANTIFIED — матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный
Большой Англо-Русский словарь
QUANTIFIED — квантованный, дискретный purely quantified proposition — чисто кванторное предложение - existentially quantified - quantified theory - quantified variable
Англо-Русский научно-технический словарь
QUANTIFIED — матем. стоящий под квантором - existentially quantified
Англо-Русский словарь по компьютерам
QUANTIFIED — матем. стоящий под квантором - existentially quantified
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFIED — стоящий под квантором - exislentially quantified
Англо-Русский словарь компьютерных терминов
QUANTIFIED — матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный
Новый большой Англо-Русский словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
PRODUCTIVITY — In economics, a measure of productive efficiency calculated as the ratio of what is produced to what is required to …
Английский словарь Британика
INDESIGNATE — I. ən, (ˈ)in+ adjective Etymology: in- (I) + Latin designatus, past participle of designare to point out, designate : not …
Webster's New International English Dictionary
GENERAL — I. ˈjen(ə)rəl adjective Etymology: Middle English, from Middle French, from Latin generalis, from gener-, genus birth, race, class, kind + …
Webster's New International English Dictionary
UNQUANTIFIED — |ən+ adjective Etymology: un- (I) + quantified, past participle of quantify : not quantified: a. : not qualified by a …
Webster's New International English Dictionary
QUANTIFIABLE — ˈ ̷ ̷ ̷ ̷ˌfīəbəl, ˌ ̷ ̷ ̷ ̷ˈ ̷ ̷ ̷ ̷ ̷ ̷ adjective : capable of being quantified
Webster's New International English Dictionary
-IZE — ˌīz sometimes, as in “baptize”, |īz verb suffix ( -ed/-ing/-s ) Usage: see -ize Etymology: Middle English -isen, from Old …
Webster's New International English Dictionary
GENERALIZATION — ˌjen(ə)rələ̇ˈzāshən, -ˌlīˈz-, rapid ˌjenər(ˌ)l- noun ( -s ) 1. : the act or action of generalizing 2. : the result …
Webster's New International English Dictionary
THEORY — /thee"euh ree, thear"ee/ , n. , pl. theories . 1. a coherent group of general propositions used as principles of …
Random House Webster's Unabridged English Dictionary
QUANTIFY — — quantifiable , adj. — quantifiably , adv. — quantification , n. /kwon"teuh fuy'/ , v.t., quantified, quantifying . 1. …
Random House Webster's Unabridged English Dictionary
QUANTITATIVE ANALYSIS — test of variables which can be precisely quantified
Толковый словарь английского языка - Редакция bed
QUANTIFY — ■ verb ( quantifies , ~ing , quantified ) 1》 express or measure the quantity of. 2》 Logic define the …
Concise Oxford English vocab
PROFILE — ■ noun 1》 an outline of something, especially a face, as seen from one side. 2》 a vertical cross section …
Concise Oxford English vocab
QUANTIFICATION — in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized …
Britannica English vocabulary
PRODUCTIVITY — in economics, the ratio of what is produced to what is required to produce it. Usually this ratio is in …
Britannica English vocabulary
HUMAN BEHAVIOUR
Britannica English vocabulary
GEOLOGIC TIME — the extensive interval of time occupied by the Earth's geologic history. It extends from about 3.9 billion years ago (corresponding …
Britannica English vocabulary
GEOLOGIC SCIENCES — the fields of study concerned with the solid Earth. Included are sciences such as mineralogy, geodesy, and stratigraphy. An introduction …
Britannica English vocabulary
FETAL ALCOHOL SYNDROME — (FAS) various congenital abnormalities in the newborn infant that are caused by the mother's ingestion of significant amounts of alcohol …
Britannica English vocabulary
EVOLUTION
Britannica English vocabulary
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
QUANTIFY — verb COLLOCATIONS FROM CORPUS ■ NOUN attempt ▪ From this view any attempt to quantify or verify the meanings is …
Longman DOCE5 Extras English vocabulary
IMPORTER — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE big ▪ This has helped make it a big importer of garbage. ▪ Dixon …
Longman DOCE5 Extras English vocabulary
QUANTIFIER — < logic > An operator in predicate logic specifying for which values of a variable a formula is true. Universally …
FOLDOC Computer English Dictionary
GENERIC TYPE VARIABLE — < programming > (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type …
FOLDOC Computer English Dictionary
DEDUCTIVE TABLEAU — < tool > A theorem proof system consisting of a table whose rows contain assertions or goals. Variables in assertions …
FOLDOC Computer English Dictionary
ALPINE DECREE (CALIFORNIA AND NEVADA) — The Federal Court adjudication of the relative water rights on the Carson River which is the primary regulatory control of …
Environmental Engineering English vocabulary
OBJECTIVES — are what the organisation wants to achieve; open objectives are not quantified e.g. to have a happy customer whilst closed …
Raynet Business and Marketing English Glossary
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Большой Англо-Русский словарь
ТЕОРИЯ РЕШЕТОК — мат. lattice theor, trellis theor
Большой Русско-Английский словарь
ТЕОРИЯ РАЗМЕРНОСТИ — мат. dimension theor, theor of dimension
Большой Русско-Английский словарь
ТЕОРИЯ ПОРЯДКА — мат. theor of order, theor of ordering
Большой Русско-Английский словарь
ТЕОРИЯ ОПРЕДЕЛИТЕЛЕЙ — мат. determinant theor, theor of determinants
Большой Русско-Английский словарь
ТЕОРИЯ ИЕРАРХИЙ — мат. hierarchy theor, theor of hierarchies
Большой Русско-Английский словарь
ТЕОРИЯ ИДЕАЛОВ — мат. ideal theor, ideal theory, theor of ideals
Большой Русско-Английский словарь
ТЕОРИЯ ГОМОЛОГИЙ — мат. homology theor, theor of homologies
Большой Русско-Английский словарь
ТЕОРИЯ ВЫЧИСЛИМОСТИ — мат. theor of calculability, theor of computability
Большой Русско-Английский словарь
ТЕОРИЯ ВЕТВЛЕНИЯ — мат. bifurcation theor, ramification theor
Большой Русско-Английский словарь
ПРИБЛИЖЕННАЯ ТЕОРИЯ — мат. approximate theor, crude theor
Большой Русско-Английский словарь
ОБОБЩЕННАЯ ТЕОРИЯ — мат. extended theor, generalized theor
Большой Русско-Английский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Новый большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Новый большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь

Новый большой Англо-Русский словарь

← QUANTIFIED QUANTIFIED VARIABLE→