EQUATIONAL DEFINABILITY

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

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

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

EQUATIONAL DEFINABILITY — мат. эквациональная определимость
Большой Англо-Русский словарь
EQUATIONAL DEFINABILITY — матем. эквациональная определимость
Англо-Русский научно-технический словарь
EQUATIONAL — adjective Date: 1864 of, using, or involving equation or equations, dividing into two equal parts, ~ly adverb
Толковый словарь английского языка - Merriam Webster
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
DEFINABILITY — də̇ˌfīnəˈbiləd.ē, dēˌ- noun ( -es ) : the quality or state of being definable
Webster's New International 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 - …
Большой Англо-Русский словарь
DEFINABILITY — определимость combinatorial definability combinatory definability определимость
Большой Англо-Русский словарь
EQUATIONAL — эквациональный
Англо-Русский научно-технический словарь
DEFINABILITY — определимость combinatorial [combinatory] definability — комбинаторная определимость - analytical definability - arithmetical definability - combinatorial definability - combinatory definability - compatible definability - conditional definability - constructive definability - …
Англо-Русский научно-технический словарь
DEFINABILITY — определимость
Англо-Русский словарь Tiger
DEFINABILITY — (n) определимость
English-Russian Lingvistica'98 dictionary
EQUATIONAL — эквационный
Новый Англо-Русский словарь по биологии
EQUATIONAL — эквационный
Новый Англо-Русский биологический словарь
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь по компьютерам
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь по вычислительной технике и программированию
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь компьютерных терминов
EQUATIONAL — эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - …
Новый большой Англо-Русский словарь
DEFINABILITY — определимость combinatorial definability combinatory definability определимость
Новый большой Англо-Русский словарь
DEFINABILITY — определимость
Англо-Русский словарь
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
UNIFORM DEFINABILITY — мат. равномерная определимость
Большой Англо-Русский словарь
SYNTACTIC DEFINABILITY — мат. синтактическая определимость
Большой Англо-Русский словарь
STRONG DEFINABILITY — мат. строгая определимость
Большой Англо-Русский словарь
SEMANTIC DEFINABILITY — мат. семантическая определимость
Большой Англо-Русский словарь
PROVABLE DEFINABILITY — мат. доказуемая определимость
Большой Англо-Русский словарь
PIECEWISE DEFINABILITY — мат. кусочная определимость
Большой Англо-Русский словарь
PARTIAL DEFINABILITY — мат. частичная определимость
Большой Англо-Русский словарь
PARAMETRIC DEFINABILITY — мат. параметрическая определимость
Большой Англо-Русский словарь
NORMAL DEFINABILITY — мат. нормированная определимость
Большой Англо-Русский словарь
LOCAL DEFINABILITY — мат. локальная определимость
Большой Англо-Русский словарь
INDUCTIVE DEFINABILITY — мат. индуктивная определимость
Большой Англо-Русский словарь
DEFINIBILITATE — n definability
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
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
DEFINE — — definable , adj. — definability , n. — definably , adv. — definement , n. — definer , n. …
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
REDUCTIONISM — in philosophy, a view that asserts that entities of a given kind are collections or combinations of entities of a …
Britannica English vocabulary
MATHEMATICS, FOUNDATIONS OF — the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its …
Britannica English vocabulary
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
ОПРЕДЕЛИМОСТЬ — f. definability
Russian-English Dictionary of the Mathematical Sciences
ЛАМБДА — f. lambda; ламбда-определимость, -definability
Russian-English Dictionary of the Mathematical Sciences
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
PIECEWISE — 1) кусочный 2) кусочно 3) кусочно-линейный ∙ piecewise [sectionally] smooth ≈ кусочно гладкий piecewise analytic differential ≈ кусочно аналитический дифференциал …
Большой Англо-Русский словарь
PARAMETRIC — параметрический parametric dual problem ≈ параметрическая двойственная задача parametric light generator ≈ физ. генератор света параметрический parametric representation of curves …
Большой Англо-Русский словарь

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

← EQUATIONAL COMPLETENESS EQUATIONAL EQUIVALENCE→