METAMATHEMATICAL THEOREM

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

матем. метаматематическая теорема

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

METAMATHEMATICAL THEOREM — мат. метаматематическая теорема
Большой Англо-Русский словарь
METAMATHEMATICAL THEOREM — мат. метаматематическая теорема
Новый большой Англо-Русский словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
METAMATHEMATICAL — adjective see: metamathematics
Толковый словарь английского языка - Merriam Webster
THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
THEOREM — I. ˈthēərəm, ˈthi(ə)r- sometimes ˈthēr- noun ( -s ) Etymology: Late Latin theorema, from Greek theōrēma sight, spectacle, theory, theorem, …
Webster's New International English Dictionary
METAMATHEMATICAL — | ̷ ̷ ̷ ̷ at meta- + adjective Etymology: meta- + mathematical : of or relating to metamathematics
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
METAMATHEMATICAL — see metamathematics
Merriam-Webster's Collegiate English vocabulary
THEOREM — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of …
Merriam-Webster's Collegiate English vocabulary
THEOREM — vt to formulate into a theorem. 2. theorem ·noun a statement of a principle to be demonstrated. 3. theorem ·noun …
Webster English vocab
THEOREM — in mathematics and logic, a proposition or statement that is demonstrated. In geometry, a proposition is commonly considered as a …
Britannica English vocabulary
THEOREM — theorem BrE AmE ˈθɪər ə m § ˈθiː ə r ə m AmE ˈθiː ə r ə m ˈθɪr ə …
Longman Pronunciation English Dictionary
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
THEOREM — n. Bernoulli's theorem binomial theorem central limit theorem Fermat's last theorem fundamental theorem of algebra fundamental theorem of arithmetic fundamental …
Britannica Concise Encyclopedia
THEOREM — n. In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Britannica Concise Encyclopedia
THEOREM — n. 1 hypothesis, proposition, assumption, conjecture, thesis, postulate He has set forth a clever proof of the binomial theorem 2 …
Oxford Thesaurus English vocab
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Большой Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical …
Англо-Русский научно-технический словарь
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь по компьютерам
THEOREM — теорема; предложение - theorem of joint translation - theorem of least work - theorem of three moments
Англо-Русский словарь по строительству и новым строительным технологиям
THEOREM — теорема - Church - Rosser theorem - equivalence theorem - mean value theorem - sampling theorem - schemata-based theorem - second limit theorem - Shannon's expansion theorem - …
Англо-Русский словарь по вычислительной технике и программированию
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь компьютерных терминов
THEOREM — теорема - theorem of mean - theorem of total probability - addition theorem - basic theorems of probability - basis …
Англо-Русский словарь по экономике и финансам
THEOREM — теорема - theorem of least work - theorem of minimum potential energy - theorem of three moments - theorem of …
Англо-Русский строительный словарь
THEOREM — - acoustical reciprocity theorem - power-transfer theorem - sampling theorem - Shannon theorems - shifting theorem
Англо-Русский словарь по телекоммуникациям
THEOREM — теорема см. Bayes' theorem см. Chinese remainder theorem см. factorization theorem см. Fermat theorem см. prime number theorem см. random …
Англо-Русский словарь компьютерной безопасности
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Новый большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — мат. метаматематическая переменная
Большой Англо-Русский словарь
METAMATHEMATICAL THEOR — мат. метаматематическая теория
Большой Англо-Русский словарь
METAMATHEMATICAL STATEMENT — мат. метаматематическое высказывание
Большой Англо-Русский словарь
METAMATHEMATICAL PREDICATE — мат. метаматематический предикат
Большой Англо-Русский словарь
METAMATHEMATICAL POLYNOMIAL — мат. метаматематический многочлен
Большой Англо-Русский словарь
METAMATHEMATICAL OPERATION — мат. метаматематическая операция
Большой Англо-Русский словарь
METAMATHEMATICAL NOTION — мат. метаматематическое понятие
Большой Англо-Русский словарь
METAMATHEMATICAL IDEAL — мат. метаматематический идеал
Большой Англо-Русский словарь
METAMATHEMATICAL EXPRESSION — мат. метаматематическое выражение
Большой Англо-Русский словарь
METAMATHEMATICAL CONSEQUENCE — мат. метаматематическое следствие
Большой Англо-Русский словарь
METAMATHEMATICAL ARGUMENT — мат. метаматематическое доказательство
Большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — матем. метаматематическая переменная
Англо-Русский научно-технический словарь
METAMATHEMATICAL THEORY — матем. метаматематическая теория
Англо-Русский научно-технический словарь
METAMATHEMATICS — noun plural but usually singular in construction Date: circa 1890 a field of study concerned with the formal structure and …
Толковый словарь английского языка - Merriam Webster
FORMALISM — ˈfȯrməˌlizəm, -ȯ(ə)m- noun ( -s ) Etymology: formal (I) + -ism 1. a. : the practice or the doctrine of …
Webster's New International English Dictionary
METAMATHEMATICS — — metamathematical , adj. — metamathematician /met'euh math'euh meuh tish"euhn/ , n. /met'euh math'euh mat"iks/ , n. ( used with …
Random House Webster's Unabridged English Dictionary
МЕТАМАТЕМАТИЧЕСКИЙ — adj. metamathematical
Russian-English Dictionary of the Mathematical Sciences
ВНЕМЕТАМАТЕМАТИЧЕСКИЙ — adj. extra-metamathematical
Russian-English Dictionary of the Mathematical Sciences
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
STATEMENT — 1) акт 2) высказывание 3) констатирование 4) компьют. описание 5) положение 6) постановка 7) предложение 8) утверждение 9) формулировка • correctly formulated statement — корректно сформулированное высказывание equivalent statements — эквивалентные …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
POLYNOMIAL — 1) многочлен 2) многочленный 3) полином 4) полиномиальный • absolutely irreducible polynomial — абсолютно неприводимый многочлен annihilating [annulator] polynomial — аннулирующий многочлен confluent interpolation polynomial — интерполяционный …
Англо-Русский научно-технический словарь
OPERATION — 1) действие 2) операция 3) оперирование 4) процесс 5) работа 6) рабочий 7) разработка 8) срабатывание 9) управление 10) функционирование 11) ход 12) эксплуатация • "jump if not" operation — операция условного перехода base …
Англо-Русский научно-технический словарь
NOTION — понятие, идея - abstract notion - basic notion - closed notion - compound notion - definable notion - derived notion - fixed notion - fundamental notion - general notion - …
Англо-Русский научно-технический словарь

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

← METAMATHEMATICAL STATEMENT METAMATHEMATICAL THEORY→