ENUMERABLE THEOR

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

мат. счетная модель

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

ENUMERABLE THEOR — мат. счетная модель
Большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
ENUMERABLE — adjective Date: circa 1889 countable , enumerability noun
Толковый словарь английского языка - Merriam Webster
THEOR — abbreviation theorem
Webster's New International English Dictionary
ENUMERABLE — ēˈn(y)üm(ə)rəbəl, ə̇ˈ- adjective Etymology: enumer ate + -able : denumerable
Webster's New International English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
ENUMERABLE — — enumerably , adv. /i nooh"meuhr euh beuhl, i nyooh"-/ , adj. countable (def. 2b). [ 1885-90; ENUMER(ATE) + -ABLE …
Random House Webster's Unabridged English Dictionary
ENUMERABLE — adj. countable, can be numbered
Толковый словарь английского языка - Редакция bed
ENUMERABLE — adjective Date: circa 1889 : countable • enu·mer·a·bil·i·ty -ˌn(y)üm-rə-ˈbi-lə-tē, -ˈn(y)ü-mə- noun
Merriam-Webster's Collegiate English vocabulary
ENUMERABLE — [ ɪ'nju:m(ə)rəb(ə)l ] ■ adjective Mathematics able to be counted by one-to-one correspondence with the set of positive integers.
Concise Oxford English vocab
ENUMERABLE — [enu.mer.a.ble] adj (ca. 1889): denumerable -- enu.mer.a.bil.i.ty n
Merriam-Webster English vocab
ENUMERABLE — enumerable BrE AmE i ˈnjuːm ə r‿əb ə l ə-, § -ˈnuːm- AmE i ˈnuːm- i ˈnjuːm- (usually = innumerable)
Longman Pronunciation English Dictionary
ENUMERABLE — счетный; перечислимый (математика) перечислимый; счетный - * set перечислимое множество
Большой Англо-Русский словарь
ENUMERABLE — a мат. перечислимый; счётный enumerable set - перечислимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ENUMERABLE — счётный; перечислимый - at most enumerable - canonically enumerable - completely recursively enumerable - effectively enumerable - metarecursively enumerable - recursively enumerable - strongly enumerable
Англо-Русский научно-технический словарь
ENUMERABLE — счетный
Англо-Русский словарь Tiger
ENUMERABLE — (a) перечислимый; счетный
English-Russian Lingvistica'98 dictionary
ENUMERABLE — a мат. перечислимый; счётный ~ set - перечислимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
ENUMERABLE — a мат. перечислимый; счётный enumerable set - перечислимое множество
Большой новый Англо-Русский словарь
ENUMERABLE — счётный; перечислимый
Англо-Русский словарь по компьютерам
ENUMERABLE — счётный; перечислимый
Англо-Русский словарь по вычислительной технике и программированию
ENUMERABLE — счетный; перечислимый
Англо-Русский словарь компьютерных терминов
ENUMERABLE — счетный; перечислимый (математика) перечислимый; счетный - * set перечислимое множество
Новый большой Англо-Русский словарь
ENUMERABLE — счетный
Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
NON-ENUMERABLE — несчетный - non-enumerable set
Большой Англо-Русский словарь
NON-ENUMERABLE — несчетный - non-enumerable set
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
NON-ENUMERABLE — несчетный - non-enumerable set
Новый большой Англо-Русский словарь
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
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 ≈ биортогональные матрицы …
Большой Англо-Русский словарь
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 ≈ связанные автоматы …
Большой Англо-Русский словарь
SUBSET — 1) аппарат абонентский 2) аппарат телефонный абонентский 3) подгруппа 4) подкласс 5) подмножество 6) подсовокупность 7) полукомплект 8) сокращенный вариант • absolutely convex subset — абсолютно выпуклое подмножество almost clopen …
Англо-Русский научно-технический словарь
SET
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекуррентно 2) рекурсивно 3) рекурсно • completely recursively enumerable class — вполне рекурсивно перечислимый класс general recursively inequal numbers — общерекурсивно неравные числа general recursively …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
CLASS — 1) класс; разряд; категория || классифицировать 2) качеств; сорт 3) класс, группа (в учебном заведении) 4) курс лекций, курс обучения • the senior class — …
Англо-Русский научно-технический словарь
SET — 1) множество; совокупность; семейство; ряд; последовательность 2) набор; комплект 3) установка 4) присваивать (начальное) значение (переменной) 5) устанавливать в определённое положение; устанавливать в определённое …
Англо-Русский словарь по вычислительной технике и программированию
ТЕОРИЯ РЕШЕТОК — мат. 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
Большой Русско-Английский словарь
СЧЕТНАЯ МОДЕЛЬ — мат. countable model, enumerable model, enumerable 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 …
Новый большой Англо-Русский словарь
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 ≈ связанные автоматы …
Новый большой Англо-Русский словарь

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

← ENUMERABLE SUBSET ENUMERABLY INFINITE→