AXIOMATIZABLE THEOR

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

мат. аксиоматизируемая теория

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

AXIOMATIZABLE THEOR — мат. аксиоматизируемая теория
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
THEOR — abbreviation theorem
Webster's New International English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
AXIOMATIZABLE — аксиоматизируемый axiomatizable class — аксиоматизируемый класс axiomatizable theory — аксиоматизируемая теория axiomatizable type — аксиоматизируемый тип - finitely axiomatizable - recursively axiomatizable - universally axiomatizable
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZABLE — матем. рекурсивно аксиоматизируемый
Англо-Русский научно-технический словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE TYPE — матем. аксиоматизируемый тип
Англо-Русский научно-технический словарь
AXIOMATIZABLE THEORY — матем. аксиоматизируемая теория
Англо-Русский научно-технический словарь
AXIOMATIZABLE SYSTEM — матем. аксиоматизированная система
Англо-Русский научно-технический словарь
AXIOMATIZABLE CLASS — матем. аксиоматизируемый класс
Англо-Русский научно-технический словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
-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
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
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
АКСИОМАТИЗИРУЕМЫЙ — adj. axiomatizable
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 …
Большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Большой Англо-Русский словарь
VARIETY — 1) вариетет 2) вид 3) многообразие 4) множество 5) модификация 6) порода 7) разновидность 8) разнообразие 9) тип • absolutely connected variety — абсолютно связное многообразие absolutely irreducible variety — абсолютно …
Англо-Русский научно-технический словарь
UNIVERSALLY — всемирно, универсально universally attracting object — универсально притягивающий объект universally axiomatizable class — универсально аксиоматизируемый класс universally axiomatizable subclass — универсально аксиоматизируемый подкласс universally …
Англо-Русский научно-технический словарь
TYPE — 1) вид 2) литера 3) марка 4) печатать на машинке 5) род 6) тип 7) типичный образец 8) шрифт • abstract data type — матем. объект информационный абстрактный boxing of …
Англо-Русский научно-технический словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
SUBCLASS — подкласс disproportionate subclass numbers — непропорциональные численности в подклассах locally closed subclass — локально замкнутый подкласс partially ordered subclass — частично упорядоченный подкласс proportional …
Англо-Русский научно-технический словарь
RELATIVELY — относительно, взаимно- pairwise relatively prime ideals — попарно взаимно простые идеалы pairwise relatively prime numbers — попарно взаимно простые числа pairwise relatively primes …
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекуррентно 2) рекурсивно 3) рекурсно • completely recursively enumerable class — вполне рекурсивно перечислимый класс general recursively inequal numbers — общерекурсивно неравные числа general recursively …
Англо-Русский научно-технический словарь
CLASS — 1) класс; разряд; категория || классифицировать 2) качеств; сорт 3) класс, группа (в учебном заведении) 4) курс лекций, курс обучения • the senior class — …
Англо-Русский научно-технический словарь
ТЕОРИЯ РЕШЕТОК — мат. 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
Большой Русско-Английский словарь
НЕАКСИОМАТИЗУЕМЫЙ — non-axiomatizable
Большой Русско-Английский словарь
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 ≈ биортогональные матрицы …
Новый большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Новый большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Новый большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Новый большой Англо-Русский словарь

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

← AXIOMATIZABLE SYSTEM AXIOMATIZABLE TYPE→