PROVABLE DEFINABILITY

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

матем. доказуемая определимость

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

PROVABLE DEFINABILITY — мат. доказуемая определимость
Большой Англо-Русский словарь
PROVABLE DEFINABILITY — мат. доказуемая определимость
Новый большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
PROVABLE — adjective see: prove
Толковый словарь английского языка - Merriam Webster
PROVABLE — ˈprüvəbəl adjective Etymology: Middle English, from Middle French, from Latin probabilis that which may be believed, from probare to test, …
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
PROVABLE — (a.) Capable of being proved; demonstrable.
Английский словарь Webster
PROVABLE — ( a. ) Capable of being proved; demonstrable.
Webster's Revised Unabridged English Dictionary
PROVABLE — adj. can be proven, can be substantiated, can be verified with evidence or proof
Толковый словарь английского языка - Редакция bed
PROVABLE — see prove
Merriam-Webster's Collegiate English vocabulary
PROVABLE — adj capable of being proved; demonstrable.
Webster English vocab
PROVABLE — provab|le BrE AmE ˈpruːv əb | ə l ▷ provab|ly li
Longman Pronunciation English Dictionary
PROVABLE — / ˈpruːvəbl; NAmE / adjective that can be shown to be true SYN verifiable
Oxford Advanced Learner's English Dictionary
PROVABLE — See main entry: ↑ prove
Longman Dictionary of Contemporary English
PROVABLE — Synonyms and related words : absolute, actual, admitting no question, apodictic, attestable, authenticatable, checkable, confirmable, demonstrable, demonstratable, evincible, factual, historical, …
Moby Thesaurus English vocabulary
DEFINABILITY — определимость combinatorial definability combinatory definability определимость
Большой Англо-Русский словарь
PROVABLE — Доказуемый
Американский Англо-Русский словарь
PROVABLE — provable.ogg ʹpru:vəb(ə)l a доказуемый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVABLE — матем. доказуемый arithmetically provable formula — арифметически доказуемая формула formally provable theorem — логика формально доказуемая теорема geometrically provable formula — геометрически доказуемая формула - …
Англо-Русский научно-технический словарь
DEFINABILITY — определимость combinatorial [combinatory] definability — комбинаторная определимость - analytical definability - arithmetical definability - combinatorial definability - combinatory definability - compatible definability - conditional definability - constructive definability - …
Англо-Русский научно-технический словарь
PROVABLE — доказуемый
Англо-Русский словарь Tiger
DEFINABILITY — определимость
Англо-Русский словарь Tiger
PROVABLE — (a) доказуемый
English-Russian Lingvistica'98 dictionary
DEFINABILITY — (n) определимость
English-Russian Lingvistica'98 dictionary
PROVABLE — a доказуемый
Новый большой Англо-Русский словарь - Апресян, Медникова
PROVABLE — a доказуемый
Большой новый Англо-Русский словарь
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь по компьютерам
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь по вычислительной технике и программированию
DEFINABILITY — определимость - combinatorial definability - combinatory definability
Англо-Русский словарь компьютерных терминов
PROVABLE — доказуемый
Англо-Русский юридический словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Новый большой Англо-Русский словарь
DEFINABILITY — определимость combinatorial definability combinatory definability определимость
Новый большой Англо-Русский словарь
PROVABLE — доказуемый
Англо-Русский словарь
DEFINABILITY — определимость
Англо-Русский словарь
UNIFORM DEFINABILITY — мат. равномерная определимость
Большой Англо-Русский словарь
SYNTACTIC DEFINABILITY — мат. синтактическая определимость
Большой Англо-Русский словарь
STRONG DEFINABILITY — мат. строгая определимость
Большой Англо-Русский словарь
SEMANTIC DEFINABILITY — мат. семантическая определимость
Большой Англо-Русский словарь
PIECEWISE DEFINABILITY — мат. кусочная определимость
Большой Англо-Русский словарь
PARTIAL DEFINABILITY — мат. частичная определимость
Большой Англо-Русский словарь
PARAMETRIC DEFINABILITY — мат. параметрическая определимость
Большой Англо-Русский словарь
NORMAL DEFINABILITY — мат. нормированная определимость
Большой Англо-Русский словарь
LOCAL DEFINABILITY — мат. локальная определимость
Большой Англо-Русский словарь
INDUCTIVE DEFINABILITY — мат. индуктивная определимость
Большой Англо-Русский словарь
DEFINIBILITATE — n definability
Interlingua English vocab
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
COMPLETENESS — Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see …
Английский словарь Британика
UNPROVABLE — “+ adjective Etymology: Middle English, from un- (I) + provable : not provable • un·provableness “+ noun
Webster's New International English Dictionary
DEFINE — — definable , adj. — definability , n. — definably , adv. — definement , n. — definer , n. …
Random House Webster's Unabridged English Dictionary
REDUCTIONISM — in philosophy, a view that asserts that entities of a given kind are collections or combinations of entities of a …
Britannica English vocabulary
PROPOSITIONAL CALCULUS — also called Sentential Calculus, in logic, symbolic system of treating compound and complex propositions and their logical relationships. As opposed …
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
PROPOSITIONAL CALCULUS — Formal system of propositions and their logical relationships. As opposed to the predicate calculus , the propositional calculus employs simple, …
Britannica Concise Encyclopedia
COMPLETENESS — n. Concept of the adequacy of a formal system that is employed both in proof theory and in model theory …
Britannica Concise Encyclopedia
ОПРЕДЕЛИМОСТЬ — f. definability
Russian-English Dictionary of the Mathematical Sciences
ЛАМБДА — f. lambda; ламбда-определимость, -definability
Russian-English Dictionary of the Mathematical Sciences
PIECEWISE — 1) кусочный 2) кусочно 3) кусочно-линейный ∙ piecewise [sectionally] smooth ≈ кусочно гладкий piecewise analytic differential ≈ кусочно аналитический дифференциал …
Большой Англо-Русский словарь
PARAMETRIC — параметрический parametric dual problem ≈ параметрическая двойственная задача parametric light generator ≈ физ. генератор света параметрический parametric representation of curves …
Большой Англо-Русский словарь
ARITHMETICALLY — арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически …
Большой Англо-Русский словарь
КОМБИНАТОРНАЯ — комбинаторная определимость: combinatorial definability, combinatory definability
Russian-English Edic
ОПРЕДЕЛИМОСТЬ — definability definability
Большой Русско-Английский словарь

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

← PROVABLE PROVABLE EQUATION→