РЕКУРСИВНО АКСИОМАТИЗИРОВАННЫЙ

Русско-английский перевод РЕКУРСИВНО АКСИОМАТИЗИРОВАННЫЙ

мат. recursively axiomatized

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

РЕКУРСИВНО — recursively
Большой Русско-Английский словарь
ПЕРЕЧИСЛИМЫЙ — adj. denumerable, countable; рекурсивно перечислимый, счётно перечислимый, recursively enumerable
Russian-English Dictionary of the Mathematical Sciences
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
REPRESENTABLE — представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ …
Большой Англо-Русский словарь
RECURSIVELY UNSOLVABLE — мат. рекурсивно неразрешимый
Большой Англо-Русский словарь
RECURSIVELY TRUE — мат. рекурсивно истинный
Большой Англо-Русский словарь
RECURSIVELY SOLUBLE — мат. рекурсивно разрешимый
Большой Англо-Русский словарь
RECURSIVELY REPRESENTABLE — мат. рекурсивно представимый
Большой Англо-Русский словарь
RECURSIVELY REALIZABLE — мат. рекурсивно реализуемый
Большой Англо-Русский словарь
RECURSIVELY PROJECTIVE — рекурсивно-проективный
Большой Англо-Русский словарь
RECURSIVELY PRESENTABLE — мат. рекурсивно представимый
Большой Англо-Русский словарь
RECURSIVELY ISOTONIC — мат. рекурсивно изотонный
Большой Англо-Русский словарь
RECURSIVELY ISOMORPHIC — мат. рекурсивно изоморфный
Большой Англо-Русский словарь
RECURSIVELY INSEPARABLE — мат. рекурсивно неотделимый
Большой Англо-Русский словарь
RECURSIVELY EXTENSIBLE — мат. рекурсивно продолжаемый
Большой Англо-Русский словарь
RECURSIVELY EXPRESSIBLE — мат. рекурсивно представимый
Большой Англо-Русский словарь
RECURSIVELY EQUIVALENT — мат. рекурсивно эквивалентный
Большой Англо-Русский словарь
RECURSIVELY ENUMERABLE SET — лог. рекурсивно-перечислимое множество
Большой Англо-Русский словарь
RECURSIVELY ENUMERABLE — перечислимый, рекурсивно перечислимый
Большой Англо-Русский словарь
RECURSIVELY DIVERGENT — мат. рекурсивно расходящийся
Большой Англо-Русский словарь
RECURSIVELY AXIOMATIZED — мат. рекурсивно аксиоматизированный
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
FINITELY AXIOMATIZED — мат. конечно аксиоматизированный
Большой Англо-Русский словарь
STRUCTURE — 1) вид 2) конструкция 3) построение 4) сооружение 5) состав 6) строение 7) структура 8) структурировать 9) текстура 10) формация • almost complex structure — почти комплексная структура bipolar insulated-gate structure — …
Англо-Русский научно-технический словарь
SET
Англо-Русский научно-технический словарь
SEQUENCE — 1) очередность 2) порядок следования 3) последовательность 4) секвенция 5) следование • absolutely convergent sequence — абсолютно сходящаяся последовательность absolutely divergent sequence — абсолютно расходящаяся последовательность absolutely limited …
Англо-Русский научно-технический словарь
REPRESENTABLE — представимый, изобразимый analytically representable function — аналитически представимая функция completely representable predicate — полностью представимый предикат numeralwise [numerically] representable — нумерически представимый numeralwise representable …
Англо-Русский научно-технический словарь
RELATION — 1) зависимость 2) касательность 3) отношение 4) реляционный 5) родственность 6) связь 7) соотношение • almost regular relation — почти регулярное отношение almost universal relation — почти универсальное отношение causal …
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZED — матем. рекурсивно аксиоматизированный
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекуррентно 2) рекурсивно 3) рекурсно • completely recursively enumerable class — вполне рекурсивно перечислимый класс general recursively inequal numbers — общерекурсивно неравные числа general recursively …
Англо-Русский научно-технический словарь
PROBLEM — 1) задача 2) неисправность 3) проблема • algorithmically unsolvable problem — алгоритмически неразрешимая проблема attack problem by methods — разрабатывать проблему методами axially symmetric problem — …
Англо-Русский научно-технический словарь
NUMBER — 1) балл 2) выпуск 3) занумеровать 4) занумеровывать 5) код числа 6) количество 7) колонцифра 8) насчитывать 9) насчитываться 10) номер 11) номерной 12) нумеровать 13) перенумеровать 14) перенумеровывать 15) подсчитывать 16) пронумеровать 17) считать 18) цифровать 19) …
Англо-Русский научно-технический словарь
INVARIANT — 1) безвариантный 2) инвариант 3) инвариантный 4) сохранный 5) функционально-инвариантный • affine invariant point — аффинно инвариантная точка affinely invariant set — аффинно инвариантное множество almost invariant estimator …
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZED — матем. конечно аксиоматизированный
Англо-Русский научно-технический словарь
REPRESENTABLE — представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ …
Новый большой Англо-Русский словарь
RECURSIVELY AXIOMATIZED — мат. рекурсивно аксиоматизированный
Новый большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
FINITELY AXIOMATIZED — мат. конечно аксиоматизированный
Новый большой Англо-Русский словарь

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

← РЕКУРСИВНО-ПРОЕКТИВНЫЙ РЕКУРСИВНО ВЕЩЕСТВЕННЫЕ ЧИСЛА→