EQUATIONAL THEOR

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

мат. эквациональная теория

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

EQUATIONAL THEOR — мат. эквациональная теория
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
EQUATIONAL — adjective Date: 1864 of, using, or involving equation or equations, dividing into two equal parts, ~ly adverb
Толковый словарь английского языка - Merriam Webster
THEOR — abbreviation theorem
Webster's New International English Dictionary
EQUATIONAL — -zhən ə l, -zhnəl also -sh- adjective 1. : of, using, or involving equations 2. a. : dividing into two …
Webster's New International English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
EQUATIONAL — — equationally , adv. /i kway"zheuh nl, -sheuh-/ , adj. 1. of, using, or involving equations. 2. Biol. pertaining to …
Random House Webster's Unabridged English Dictionary
EQUATIONAL — adv. of or involving equations
Толковый словарь английского языка - Редакция bed
EQUATIONAL — -ˈkwāsh- adjective Date: 1864 1. : of, using, or involving equation or equations 2. : dividing into two equal parts …
Merriam-Webster's Collegiate English vocabulary
EQUATIONAL — [equa.tion.al] adj (1864) 1: of, using, or involving equation or equations 2: dividing into two equal parts--used esp. of the …
Merriam-Webster English vocab
EQUATIONAL — эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - …
Большой Англо-Русский словарь
EQUATIONAL — эквациональный
Англо-Русский научно-технический словарь
EQUATIONAL — эквационный
Новый Англо-Русский словарь по биологии
EQUATIONAL — эквационный
Новый Англо-Русский биологический словарь
EQUATIONAL — эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - …
Новый большой Англо-Русский словарь
EQUATIONAL VERB — copula (def. 2). [ 1960-65 ]
Random House Webster's Unabridged English Dictionary
EQUATIONAL LOGIC — < logic > First-order equational logic consists of quantifier -free terms of ordinary first-order logic , with equality as the …
FOLDOC Computer English Dictionary
SUBSET-EQUATIONAL LANGUAGE — (SEL) A declarative language for set processing by Bharat Jayaraman with subset and equational program clauses; pattern matching over sets …
FOLDOC Computer English Dictionary
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
EQUATIONALLY — adverb see: equational
Толковый словарь английского языка - Merriam Webster
EQUATIONALLY — adverb see equational
Webster's New International English Dictionary
CASE — I. ˈkās noun ( -s ) Etymology: Middle English cas, from Old French, from Latin casus fall, event, chance, from …
Webster's New International English Dictionary
NOMINAL SENTENCE — noun : an equational sentence
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
HOMOTYPIC — | ̷ ̷ ̷ ̷|tipik adjective or homo·typ·i·cal -pə̇kəl 1. : of or relating to a homotype 2. : being the equational division of …
Webster's New International English Dictionary
HOMEOTYPIC — adjective also ho·meo·typical | ̷ ̷ ̷ ̷ ̷ ̷+ Etymology: home- + typic, typical : being or relating to the second or equational meiotic division …
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
AMEIOSIS — — ameiotic /ay'muy ot"ik/ , adj. /ay'muy oh"sis/ , n. Cell Biol. aberrant meiosis in which only an equational division …
Random House Webster's Unabridged English Dictionary
EQUATIONALLY — see equational
Merriam-Webster's Collegiate 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
EQUATION — n. 1 the process of equating or making equal; the state of being equal. 2 Math. a statement that two …
Concise Oxford English Dictionary
EQUATION — n.1 the process of equating or making equal; the state of being equal. 2 Math. a statement that two mathematical …
Oxford English vocab
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
UNIVERSAL ALGEBRA — < logic > The model theory of first-order equational logic . (1997-02-25)
FOLDOC Computer English Dictionary
SFLV — Unifies logic and functional programming. SASL+LV with unification moved from actual/formal parameter matching to equational clauses. "Static Analysis of Functional …
FOLDOC Computer English Dictionary
SEL — 1. Self-Extensible Language . 2. Subset-Equational Language .
FOLDOC Computer English Dictionary
GOFFIN — < language > A definitional constraint language for declarative parallel programming. Goffin systematically integrates equational constraint s and functions within …
FOLDOC Computer English Dictionary
EPL — 1. Early PL/I . 2. Experimental Programming Language . 3. Eden Programming Language. U Washington. Based on Concurrent Euclid and …
FOLDOC Computer English Dictionary
ELP — 1. English Language Programs. Language for testing avionics equipment, on Varian 620/i. "Multiband Automatic test Equipment - A Computer Controlled …
FOLDOC Computer English Dictionary
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 ≈ конечно …
Новый большой Англо-Русский словарь

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

← EQUATIONAL SYSTEM EQUATIONAL UNDEFINABILITY→