PROVABLE

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

матем. доказуемый arithmetically provable formula — арифметически доказуемая формула formally provable theorem — логика формально доказуемая теорема geometrically provable formula — геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement

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

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
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
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
PROVABLE — Доказуемый
Американский Англо-Русский словарь
PROVABLE — provable.ogg ʹpru:vəb(ə)l a доказуемый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVABLE — доказуемый
Англо-Русский словарь Tiger
PROVABLE — (a) доказуемый
English-Russian Lingvistica'98 dictionary
PROVABLE — a доказуемый
Новый большой Англо-Русский словарь - Апресян, Медникова
PROVABLE — a доказуемый
Большой новый Англо-Русский словарь
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
PROVABLE — доказуемый
Англо-Русский юридический словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Новый большой Англо-Русский словарь
PROVABLE — доказуемый
Англо-Русский словарь
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
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
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
ARITHMETICALLY — арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически …
Большой Англо-Русский словарь

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

← PROTURA PROVABLE DEFINABILITY→