ARITHMETICALLY PROVABLE

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

матем. арифметически доказуемый

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

ARITHMETICALLY PROVABLE — мат. арифметически доказуемый
Большой Англо-Русский словарь
ARITHMETICALLY PROVABLE — мат. арифметически доказуемый
Новый большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
ARITHMETICALLY — арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически …
Большой Англо-Русский словарь
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
ARITHMETICALLY — adverb see: arithmetic
Толковый словарь английского языка - Merriam Webster
ARITHMETICALLY — adverb see arithmetic II
Webster's New International English Dictionary
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
ARITHMETICALLY — (adv.) Conformably to the principles or methods of arithmetic.
Английский словарь Webster
PROVABLE — ( a. ) Capable of being proved; demonstrable.
Webster's Revised Unabridged English Dictionary
ARITHMETICALLY — ( adv. ) Conformably to the principles or methods of arithmetic.
Webster's Revised Unabridged English Dictionary
PROVABLE — adj. can be proven, can be substantiated, can be verified with evidence or proof
Толковый словарь английского языка - Редакция bed
ARITHMETICALLY — adv. mathematically, from an arithmetical standpoint, by means of arithmetic
Толковый словарь английского языка - Редакция bed
PROVABLE — see prove
Merriam-Webster's Collegiate English vocabulary
ARITHMETICALLY — see arithmetic
Merriam-Webster's Collegiate English vocabulary
PROVABLE — adj capable of being proved; demonstrable.
Webster English vocab
ARITHMETICALLY — adv conformably to the principles or methods of arithmetic.
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
ARITHMETICALLY — ➡ arithmetical
Oxford Advanced Learner's English Dictionary
PROVABLE — See main entry: ↑ prove
Longman Dictionary of Contemporary English
ARITHMETICALLY — See main entry: ↑ arithmetic
Longman Dictionary of Contemporary English
ARITHMETICALLY — [adverb]
Cambridge English vocab
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 — provable.ogg ʹpru:vəb(ə)l a доказуемый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ARITHMETICALLY — arithmetically.ogg ͵ærıθʹmetık(ə)lı adv арифметически
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVABLE — доказуемый
Англо-Русский словарь Tiger
ARITHMETICALLY — arithmetically нареч.арифметически
Англо-Русский словарь Tiger
PROVABLE — (a) доказуемый
English-Russian Lingvistica'98 dictionary
ARITHMETICALLY — (d) арифметически
English-Russian Lingvistica'98 dictionary
PROVABLE — a доказуемый
Новый большой Англо-Русский словарь - Апресян, Медникова
ARITHMETICALLY — adv арифметически
Новый большой Англо-Русский словарь - Апресян, Медникова
PROVABLE — a доказуемый
Большой новый Англо-Русский словарь
ARITHMETICALLY — adv арифметически
Большой новый Англо-Русский словарь
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
ARITHMETICALLY — нареч. арифметически
Англо-Русский словарь по общей лексике
ARITHMETICALLY — нареч. арифметически
Англо-Русский словарь общей лексики
PROVABLE — доказуемый
Англо-Русский юридический словарь
ARITHMETICALLY — арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически …
Новый большой Англо-Русский словарь
PROVABLE — доказуемый
Англо-Русский словарь
ARITHMETICALLY — арифметически
Англо-Русский словарь
CIPHER — I. noun Usage: often attributive Etymology: Middle English, from Medieval Latin cifra, from Arabic ṣifr empty, ~, zero Date: 14th …
Толковый словарь английского языка - Merriam Webster
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
FECHNER, GUSTAV THEODOR — born April 19, 1801, Gross Särchen, near Muskau, Lusatia died Nov. 18, 1887, Leipzig, Ger. German physicist and philosopher who …
Английский словарь Британика
COMPLETENESS — Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see …
Английский словарь Британика
LOGISTIC — I. lōˈjistik, ləˈ-, -tēk adjective or lo·gis·ti·cal -tə̇kəl, -tēk- Etymology: logistic probably from French logistique, from Medieval Latin & Late …
Webster's New International English Dictionary
CIPHER — I. ˈsīfə(r) noun ( -s ) Usage: often attributive Etymology: Middle English, from Middle French cifre, from Medieval Latin cifra …
Webster's New International English Dictionary
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
VALID — 1) адекватный 2) верный 3) годный 4) действительный 5) законный 6) имеющий силу 7) обоснованный 8) общезначимый 9) полноценный 10) применимый 11) справедливый • to hold valid — матем. сохранять силу; оставаться …
Англо-Русский научно-технический словарь
SET
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь

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

← ARITHMETICALLY EXTENSIBLE FUNCTION

ARITHMETICALLY PROVABLE FORMULA→