INTUITIONISTICALLY PROVABLE

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

мат. интуиционистски доказуемый

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

INTUITIONISTICALLY PROVABLE — матем. интуиционистски доказуемый
Англо-Русский научно-технический словарь
INTUITIONISTICALLY PROVABLE — мат. интуиционистски доказуемый
Новый большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula — арифметически доказуемая формула formally provable theorem — логика формально доказуемая теорема geometrically provable formula — геометрически доказуемая формула - …
Англо-Русский научно-технический словарь
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
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 — Доказуемый
Американский Англо-Русский словарь
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 — доказуемый
Англо-Русский словарь
INTUITIONISTICALLY VALID — мат. интуиционистски истинный
Большой Англо-Русский словарь
INTUITIONISTICALLY DERIVABLE — мат. интуиционистски выводимый
Большой Англо-Русский словарь
INTUITIONISTICALLY VALID FORMULA — интуиционистски общезначимая формула
Англо-Русский научно-технический словарь
INTUITIONISTICALLY VALID — матем. интуиционистски истинный
Англо-Русский научно-технический словарь
INTUITIONISTICALLY DERIVABLE FORMULA — интуиционистски выводимая формула
Англо-Русский научно-технический словарь
INTUITIONISTICALLY DERIVABLE — матем. интуиционистски выводимый
Англо-Русский научно-технический словарь
INTUITIONISTICALLY VALID — мат. интуиционистски истинный
Новый большой Англо-Русский словарь
INTUITIONISTICALLY DERIVABLE — мат. интуиционистски выводимый
Новый большой Англо-Русский словарь
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 ≈ арифметически …
Большой Англо-Русский словарь
VALID — 1) адекватный 2) верный 3) годный 4) действительный 5) законный 6) имеющий силу 7) обоснованный 8) общезначимый 9) полноценный 10) применимый 11) справедливый • to hold valid — матем. сохранять силу; оставаться …
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь
DERIVABLE — выводимый - formally derivable - intuitionistically derivable - modally derivable - not derivable - positively derivable
Англо-Русский научно-технический словарь
ИНТУИЦИОНИСТСКИ ИСТИННЫЙ — мат. intuitionistically valid
Большой Русско-Английский словарь
ИНТУИЦИОНИСТСКИ ДОКАЗУЕМЫЙ — мат. intuitionistically provable
Большой Русско-Английский словарь
ИНТУИЦИОНИСТСКИ ВЫВОДИМЫЙ — мат. intuitionistically derivable
Большой Русско-Английский словарь

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

← INTUITIONISTICALLY DERIVABLE INTUITIONISTICALLY VALID→