FORMALIZED THEOR

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

мат. формализованная теория

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

FORMALIZED THEOR — мат. формализованная теория
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
THEOR — abbreviation theorem
Webster's New International English Dictionary
FORMALIZED — (imp. & p. p.) of Formalize
Английский словарь Webster
FORMALIZED — ( imp. & p. p. ) of Formalize
Webster's Revised Unabridged English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
FORMALIZED — impf & ·p.p. of formalize.
Webster English vocab
FORMALIZED — формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - …
Большой Англо-Русский словарь
FORMALIZED — Формализованный
Американский Англо-Русский словарь
FORMALIZED — Формализован
Американский Англо-Русский словарь
FORMALIZED — Оформленный
Американский Англо-Русский словарь
FORMALIZED — Оформлен
Американский Англо-Русский словарь
FORMALIZED — формализованный
Англо-Русский научно-технический словарь
FORMALIZED — (a) формализованный
English-Russian Lingvistica'98 dictionary
FORMALIZED — = formal
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORMALIZED — - formal
Англо-Русский словарь по машиностроению и автоматизации производства
FORMALIZED — архит. стилизованный
Англо-Русский словарь по строительству и новым строительным технологиям
FORMALIZED — формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - …
Новый большой Англо-Русский словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
SYMBOLIC LOGIC — noun Date: 1856 a science of developing and representing logical principles by means of a formalized system consisting of primitive …
Толковый словарь английского языка - Merriam Webster
TRIBE — I (Greek, phylai ; Roman, tribus ) In ancient Greece and Rome, any of a group of political and demographic …
Английский словарь Британика
TAE KWON DO — Korean martial art resembling karate . It is characterized by the use of high standing and jump kicks as well …
Английский словарь Британика
SAUSSURE, FERDINAND DE — born Nov. 26, 1857, Geneva, Switz. died Feb. 22, 1913, Geneva Swiss linguist. Though his only written work appeared while …
Английский словарь Британика
PROCLAMATION OF 1763 — Proclamation by Britain at the end of the French and Indian War that prohibited settlement by whites on Indian territory. …
Английский словарь Британика
MOTHER'S DAY AND FATHER'S DAY — Holidays. In the U.S. a nationwide observance of Mother's Day was suggested by Anna Jarvis of Grafton, W.Va., and in …
Английский словарь Британика
MALDIVES — officially Republic of Maldives Archipelago country, in the Indian Ocean southwest of Sri Lanka. It is a chain of about …
Английский словарь Британика
LOUIS I — I known as Louis the Pious born April 16, 778, Chasseneuil, near Poitiers, Aquitaine died June 20, 840, Petersau, an …
Английский словарь Британика
INSURANCE — I Contract that, by redistributing risk among a large number of people, reduces losses from accidents incurred by an individual. …
Английский словарь Британика
-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
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
METATHEORY — a theory the subject matter of which is another theory. A finding proved in the former that deals with the …
Britannica English vocabulary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
GEOCHRONOLOGY — scientific study concerned with the sequence of geologic events in the history of the Earth. Geologic history provides a conceptual …
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
FORMALIZE — ( formalizes, formalizing, formalized) Note: in BRIT, also use 'formalise' If you formalize a plan, idea, arrangement, or system, you …
Collins COBUILD Advanced Learner's English Dictionary
SANCTION — I. noun COLLOCATIONS FROM OTHER ENTRIES economic sanctions (= laws that stop trade with another country, as a way of …
Longman DOCE5 Extras English vocabulary
FORMALIZE — verb EXAMPLES FROM OTHER ENTRIES ▪ a charter to formalize patients' rights in public health services ▪ Most measures to …
Longman DOCE5 Extras English vocabulary
CONSULTATION — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE available ▪ She says the files she looked at weren't confidential and were freely …
Longman DOCE5 Extras English vocabulary
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 ≈ связанные автоматы …
Большой Англо-Русский словарь
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
ФОРМАЛИЗОВАННЫЙ — formalized formalized
Большой Русско-Английский словарь
ТЕОРИЯ РЕШЕТОК — мат. 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 ≈ конечно …
Новый большой Англо-Русский словарь

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

← FORMALIZED SYSTEM FORMALIZES→