METAMATHEMATICAL THEOR

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

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

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

METAMATHEMATICAL THEOR — мат. метаматематическая теория
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
METAMATHEMATICAL — adjective see: metamathematics
Толковый словарь английского языка - Merriam Webster
THEOR — abbreviation 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
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
METAMATHEMATICAL — see metamathematics
Merriam-Webster's Collegiate English vocabulary
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Большой Англо-Русский словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical …
Англо-Русский научно-технический словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Новый большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — мат. метаматематическая переменная
Большой Англо-Русский словарь
METAMATHEMATICAL THEOREM — мат. метаматематическая теорема
Большой Англо-Русский словарь
METAMATHEMATICAL STATEMENT — мат. метаматематическое высказывание
Большой Англо-Русский словарь
METAMATHEMATICAL PREDICATE — мат. метаматематический предикат
Большой Англо-Русский словарь
METAMATHEMATICAL POLYNOMIAL — мат. метаматематический многочлен
Большой Англо-Русский словарь
METAMATHEMATICAL OPERATION — мат. метаматематическая операция
Большой Англо-Русский словарь
METAMATHEMATICAL NOTION — мат. метаматематическое понятие
Большой Англо-Русский словарь
METAMATHEMATICAL IDEAL — мат. метаматематический идеал
Большой Англо-Русский словарь
METAMATHEMATICAL EXPRESSION — мат. метаматематическое выражение
Большой Англо-Русский словарь
METAMATHEMATICAL CONSEQUENCE — мат. метаматематическое следствие
Большой Англо-Русский словарь
METAMATHEMATICAL ARGUMENT — мат. метаматематическое доказательство
Большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — матем. метаматематическая переменная
Англо-Русский научно-технический словарь
METAMATHEMATICAL THEORY — матем. метаматематическая теория
Англо-Русский научно-технический словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
METAMATHEMATICS — noun plural but usually singular in construction Date: circa 1890 a field of study concerned with the formal structure and …
Толковый словарь английского языка - Merriam Webster
-IZE — ˌīz sometimes, as in “baptize”, |īz verb suffix ( -ed/-ing/-s ) Usage: see -ize Etymology: Middle English -isen, from Old …
Webster's New International English Dictionary
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
THEORY — /thee"euh ree, thear"ee/ , n. , pl. theories . 1. a coherent group of general propositions used as principles of …
Random House Webster's Unabridged 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
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
МЕТАМАТЕМАТИЧЕСКИЙ — adj. metamathematical
Russian-English Dictionary of the Mathematical Sciences
ВНЕМЕТАМАТЕМАТИЧЕСКИЙ — adj. extra-metamathematical
Russian-English Dictionary of the Mathematical Sciences
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Большой Англо-Русский словарь
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
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 - …
Англо-Русский научно-технический словарь
ТЕОРИЯ РЕШЕТОК — мат. lattice theor, trellis theor
Большой Русско-Английский словарь
ТЕОРИЯ РАЗМЕРНОСТИ — мат. dimension theor, theor of dimension
Большой Русско-Английский словарь
ТЕОРИЯ ПОРЯДКА — мат. theor of order, theor of ordering
Большой Русско-Английский словарь
ТЕОРИЯ ОПРЕДЕЛИТЕЛЕЙ — мат. determinant theor, theor of determinants
Большой Русско-Английский словарь
ТЕОРИЯ ИЕРАРХИЙ — мат. hierarchy theor, theor of hierarchies
Большой Русско-Английский словарь
ТЕОРИЯ ИДЕАЛОВ — мат. ideal theor, ideal theory, theor of ideals
Большой Русско-Английский словарь
ТЕОРИЯ ГОМОЛОГИЙ — мат. homology theor, theor of homologies
Большой Русско-Английский словарь
ТЕОРИЯ ВЫЧИСЛИМОСТИ — мат. theor of calculability, theor of computability
Большой Русско-Английский словарь
ТЕОРИЯ ВЕТВЛЕНИЯ — мат. bifurcation theor, ramification theor
Большой Русско-Английский словарь
ПРИБЛИЖЕННАЯ ТЕОРИЯ — мат. approximate theor, crude theor
Большой Русско-Английский словарь
ОБОБЩЕННАЯ ТЕОРИЯ — мат. extended theor, generalized theor
Большой Русско-Английский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Новый большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Новый большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Новый большой Англо-Русский словарь

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

← METAMATHEMATICAL STATEMENT METAMATHEMATICAL THEOREM→