RECURSIVELY AXIOMATIZED

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

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

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

RECURSIVELY AXIOMATIZED — мат. рекурсивно аксиоматизированный
Большой Англо-Русский словарь
RECURSIVELY AXIOMATIZED — мат. рекурсивно аксиоматизированный
Новый большой Англо-Русский словарь
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 — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
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
AXIOMATIZED — Аксиоматизирующийся
Большой Англо-Русский словарь
AXIOMATIZED — Аксиоматизирующийся
Новый большой Англо-Русский словарь
FINITELY AXIOMATIZED — мат. конечно аксиоматизированный
Большой Англо-Русский словарь
AXIOMATIZED THEOR — мат. аксиоматизированная теория
Большой Англо-Русский словарь
FINITELY AXIOMATIZED — матем. конечно аксиоматизированный
Англо-Русский научно-технический словарь
AXIOMATIZED THEORY — матем. аксиоматизированная теория
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZED — мат. конечно аксиоматизированный
Новый большой Англо-Русский словарь
AXIOMATIZED THEOR — мат. аксиоматизированная теория
Новый большой Англо-Русский словарь
AXIOMATIC METHOD — In logic , the procedure by which an entire science or system of theorems is deduced in accordance with specified …
Английский словарь Британика
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
COMPLETENESS — -tnə̇s noun ( -es ) 1. : the quality or state of being complete 2. of an axiomatized system of …
Webster's New International English Dictionary
AXIOMATICS — -d.iks, -tiks, -ēks noun plural but singular in construction 1. : a set of axioms : an axiomatized system 2. …
Webster's New International English Dictionary
ASSERTION — əˈsərshən, -ə̄sh-, -əish- also aˈ- noun ( -s ) Etymology: Middle English assercioun, from Middle French or Late Latin; Middle …
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
AXIOMATIC METHOD — in logic, a procedure by which an entire system (e.g., a science) is generated in accordance with specified rules by …
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
AXIOMATIC METHOD — In logic , the procedure by which an entire science or system of theorems is deduced in accordance with specified …
Britannica Concise Encyclopedia
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 …
Большой Англо-Русский словарь
TRUE — 1) верный 2) выверить 3) выверять 4) действителен 5) действительный 6) истинный 7) подлинный 8) правильный 9) справедливый • almost true sentence — почти истинное высказывание be true in the large …
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
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
Англо-Русский научно-технический словарь
CALCULABLE — вычислимый, исчислимый, измеримый calculable in terms of — вычислимый с помощью (чего-л.) calculable real number — вычислимое вещественное число positively calculable predicate — …
Англо-Русский научно-технический словарь
РЕКУРСИВНО ПРЕДСТАВИМЫЙ — мат. recursively expressible, recursively presentable, recursively representable
Большой Русско-Английский словарь
РЕКУРСИВНО ВЫЧИСЛИМЫЙ — мат. recursively calculable, recursively computable
Большой Русско-Английский словарь
РЕКУРСИВНО АКСИОМАТИЗИРОВАННЫЙ — мат. recursively axiomatized
Большой Русско-Английский словарь
АКСИОМАТИЗИРОВАННАЯ ТЕОРИЯ — мат. axiomatized theor
Большой Русско-Английский словарь
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 AXIOMATIZABLE RECURSIVELY BOUNDED→