RECURSIVELY AXIOMATIZABLE

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

матем. рекурсивно аксиоматизируемый

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

RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
RECURSIVELY — 1) рекуррентно 2) рекурсивно 3) рекурсно • completely recursively enumerable class — вполне рекурсивно перечислимый класс general recursively inequal numbers — общерекурсивно неравные числа general recursively …
Англо-Русский научно-технический словарь
RECURSIVELY — adverb see: recursive
Толковый словарь английского языка - Merriam Webster
RECURSIVELY — adverb see recursive
Webster's New International English Dictionary
RECURSIVELY — adv. in a repetitive manner, in a manner that repeats itself
Толковый словарь английского языка - Редакция bed
RECURSIVELY — see recursive
Merriam-Webster's Collegiate English vocabulary
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
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 …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE THEOR — мат. аксиоматизируемая теория
Большой Англо-Русский словарь
AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE TYPE — матем. аксиоматизируемый тип
Англо-Русский научно-технический словарь
AXIOMATIZABLE THEORY — матем. аксиоматизируемая теория
Англо-Русский научно-технический словарь
AXIOMATIZABLE SYSTEM — матем. аксиоматизированная система
Англо-Русский научно-технический словарь
AXIOMATIZABLE CLASS — матем. аксиоматизируемый класс
Англо-Русский научно-технический словарь
RECURSIVE — rə̇ˈkərsiv, rēˈ-, -ˈkə̄s- adjective ( -es ) Etymology: recurs ion (II) + -ive 1. : of, relating to, or involving …
Webster's New International English Dictionary
RECURSIVE — — recursively , adv. — recursiveness , n. /ri kerr"siv/ , adj. 1. pertaining to or using a rule or …
Random House Webster's Unabridged English Dictionary
RECURSIVE FUNCTION — in logic and mathematics, a type of function or expression predicating some concept or property of one or more variables, …
Britannica English vocabulary
AUTOMATA THEORY — body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information from one …
Britannica English vocabulary
PROPOSITION — I. noun COLLOCATIONS FROM OTHER ENTRIES a viable proposition (= an idea that will work ) ▪ Is this kind …
Longman DOCE5 Extras English vocabulary
АКСИОМАТИЗИРУЕМЫЙ — adj. axiomatizable
Russian-English Dictionary of the Mathematical Sciences
REPRESENTABLE — представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ …
Большой Англо-Русский словарь
ISOMORPHIC — изоморфный abstractly isomorphic graphs ≈ абстрактно изоморфные графы algebraically isomorphic structures ≈ алгебраически изоморфные структуры almost isomorphic space ≈ почти …
Большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь
TRUE — 1) верный 2) выверить 3) выверять 4) действителен 5) действительный 6) истинный 7) подлинный 8) правильный 9) справедливый • almost true sentence — почти истинное высказывание be true in the large …
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
RELATIVELY — относительно, взаимно- pairwise relatively prime ideals — попарно взаимно простые идеалы pairwise relatively prime numbers — попарно взаимно простые числа pairwise relatively primes …
Англо-Русский научно-технический словарь
RELATION — 1) зависимость 2) касательность 3) отношение 4) реляционный 5) родственность 6) связь 7) соотношение • almost regular relation — почти регулярное отношение almost universal relation — почти универсальное отношение causal …
Англо-Русский научно-технический словарь
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) …
Англо-Русский научно-технический словарь
ISOMORPHIC — изоморфный abstractly isomorphic graphs — абстрактно изоморфные графы algebraically isomorphic structures — алгебраически изоморфные структуры almost isomorphic space — почти изоморфное пространство analytically isomorphic …
Англо-Русский научно-технический словарь
INVARIANT — 1) безвариантный 2) инвариант 3) инвариантный 4) сохранный 5) функционально-инвариантный • affine invariant point — аффинно инвариантная точка affinely invariant set — аффинно инвариантное множество almost invariant estimator …
Англо-Русский научно-технический словарь
INSEPARABLE — 1) неотделимый 2) неразделимый 3) нераздельный 4) несепарабельный • effectively inseparable sets — эффективно неотделимые множества purely inseparable divisor — чисто несепарабельный дивизор purely inseparable expansion — …
Англо-Русский научно-технический словарь
FUNCTION — 1) функция, действие || функционировать; действовать - decision-making function - essential functions - routine function - safety-related functions 2) функциональное назначение; роль - auxilliary function - circuit …
Англо-Русский научно-технический словарь
ENUMERABLE — счётный; перечислимый - at most enumerable - canonically enumerable - completely recursively enumerable - effectively enumerable - metarecursively enumerable - recursively enumerable - strongly enumerable
Англо-Русский научно-технический словарь
CLASS — 1) класс; разряд; категория || классифицировать 2) качеств; сорт 3) класс, группа (в учебном заведении) 4) курс лекций, курс обучения • the senior class — …
Англо-Русский научно-технический словарь
CALCULABLE — вычислимый, исчислимый, измеримый calculable in terms of — вычислимый с помощью (чего-л.) calculable real number — вычислимое вещественное число positively calculable predicate — …
Англо-Русский научно-технический словарь
РЕКУРСИВНО ПРЕДСТАВИМЫЙ — мат. recursively expressible, recursively presentable, recursively representable
Большой Русско-Английский словарь
РЕКУРСИВНО ВЫЧИСЛИМЫЙ — мат. recursively calculable, recursively computable
Большой Русско-Английский словарь
НЕАКСИОМАТИЗУЕМЫЙ — non-axiomatizable
Большой Русско-Английский словарь
REPRESENTABLE — представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ …
Новый большой Англо-Русский словарь
ISOMORPHIC — изоморфный abstractly isomorphic graphs ≈ абстрактно изоморфные графы algebraically isomorphic structures ≈ алгебраически изоморфные структуры almost isomorphic space ≈ почти …
Новый большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Новый большой Англо-Русский словарь

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

← RECURSIVELY APPROXIMABLE RECURSIVELY AXIOMATIZED→