HYPERARITHMETICAL COMPUTABILITY

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

матем. гиперарифметическая вычислимость

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

HYPERARITHMETICAL COMPUTABILITY — мат. гиперарифметическая вычислимость
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTABILITY — мат. гиперарифметическая вычислимость
Новый большой Англо-Русский словарь
COMPUTABILITY — вычисляемость, вычислимость - complete computability - computability predicate - effective computability - generalized computability - hyperarithmetical computability - mechanical computability …
Большой Англо-Русский словарь
COMPUTABILITY — вычисляемость, вычислимость - complete computability - effective computability - generalized computability - hyperarithmetical computability - mechanical computability - partial computability - practical computability - prime computability - recursive computability - …
Англо-Русский научно-технический словарь
COMPUTABILITY — noun see: computable
Толковый словарь английского языка - Merriam Webster
COMPUTABILITY — kəmˌpyü]d.əˈbiləd.ē, ]təˈb-, -lətē, -i also ˌkämpyə]\ noun ( -es ) : the quality or state of being computable
Webster's New International English Dictionary
COMPUTABILITY — n. ability to be calculated or counted, ability to be enumerated
Толковый словарь английского языка - Редакция bed
COMPUTABILITY — see computable
Merriam-Webster's Collegiate English vocabulary
COMPUTABILITY — computability BrE AmE kəm ˌpjuːt ə ˈbɪl ət i § kɒm-, § ˌkɒm pjuːt-, ˌkɒm pjʊt-, -ɪt i AmE \ …
Longman Pronunciation English Dictionary
COMPUTABILITY — Hamiltonian problem metaheuristic search problem von Neumann architecture Turing Machine
FOLDOC Computer English Dictionary
COMPUTABILITY — (n) вычислимость
English-Russian Lingvistica'98 dictionary
COMPUTABILITY — n. исчисляемость
English-Russian-dictionary - Bed release
COMPUTABILITY — n. исчисляемость
English-Russian-dictionary - Bed release
COMPUTABILITY — вычисляемость, вычислимость - complete computability - computability predicate - effective computability - generalized computability - hyperarithmetical computability - mechanical computability …
Новый большой Англо-Русский словарь
COMPUTABILITY THEORY — < mathematics > The area of theoretical computer science concerning what problems can be solved by any computer. A function …
FOLDOC Computer English Dictionary
HYPERARITHMETICAL SET — мат. гиперарифметическое множество
Большой Англо-Русский словарь
HYPERARITHMETICAL RELATION — мат. гиперарифметическое отношение
Большой Англо-Русский словарь
HYPERARITHMETICAL QUANTIFIER — мат. гиперарифметический квантор
Большой Англо-Русский словарь
HYPERARITHMETICAL PREDICATE — мат. гиперарифметический предикат
Большой Англо-Русский словарь
HYPERARITHMETICAL POINT — мат. гиперарифметическая точка
Большой Англо-Русский словарь
HYPERARITHMETICAL PERMUTATION — мат. гиперарифметическая перестановка
Большой Англо-Русский словарь
HYPERARITHMETICAL HIERARCHY — мат. гиперарифметическая иерархия
Большой Англо-Русский словарь
HYPERARITHMETICAL FUNCTION — мат. гиперарифметическая функция
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTATION — мат. гиперарифметическое вычисление
Большой Англо-Русский словарь
HYPERARITHMETICAL SET — матем. гиперарифметическое множество
Англо-Русский научно-технический словарь
HYPERARITHMETICAL RELATION — матем. гиперарифметическое отношение
Англо-Русский научно-технический словарь
HYPERARITHMETICAL QUANTIFIER — матем. гиперарифметический квантор
Англо-Русский научно-технический словарь
HYPERARITHMETICAL PREDICATE — матем. гиперарифметический предикат
Англо-Русский научно-технический словарь
HYPERARITHMETICAL POINT — матем. гиперарифметическая точка
Англо-Русский научно-технический словарь
HYPERARITHMETICAL PERMUTATION — матем. гиперарифметическая перестановка
Англо-Русский научно-технический словарь
HYPERARITHMETICAL HIERARCHY — матем. гиперарифметическая иерархия
Англо-Русский научно-технический словарь
HYPERARITHMETICAL FUNCTION — матем. гиперарифметическая функция
Англо-Русский научно-технический словарь
HYPERARITHMETICAL COMPUTATION — матем. гиперарифметическое вычисление
Англо-Русский научно-технический словарь
COMPUTABLE — adjective Date: 1646 capable of being computed, computability noun
Толковый словарь английского языка - Merriam Webster
CHURCH, ALONZO — born June 14, 1903, Washington, D.C., U.S. died Aug. 11, 1995, Hudson, Ohio U.S. mathematician. He earned a Ph.D. from …
Английский словарь Британика
TURING MACHINE — /toor"ing, tyoor"-/ , Math. a hypothetical device with a set of logical rules of computation: the concept is used in …
Random House Webster's Unabridged English Dictionary
COMPUTE — — computable , adj. — computability , n. — computably , adv. — computist /keuhm pyooh"tist, kom"pyoo-/ , n. /keuhm …
Random House Webster's Unabridged English Dictionary
COMPUTE — ■ verb 1》 reckon or calculate (a figure or amount). 2》 [with negative ] informal seem reasonable; make sense. Derivatives …
Concise Oxford English vocab
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
MATHEMATICS, FOUNDATIONS OF — the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its …
Britannica English vocabulary
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
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
ALGORITHM — systematic procedure that producesin a finite number of stepsthe answer to a question or the solution of a problem. The …
Britannica English vocabulary
COMPUTE — v. 1 tr. (often foll. by that + clause) reckon or calculate (a number, an amount, etc.). 2 intr. make …
Concise Oxford English Dictionary
COMPUTE — v. 1. tr. (often foll. by that + clause) reckon or calculate (a number, an amount, etc.). 2 intr. make …
Oxford English vocab
STAND
Longman DOCE5 Extras English vocabulary
PHYSICS — noun COLLOCATIONS FROM OTHER ENTRIES a branch of mathematics/physics/biology etc a history/physics/maths etc lesson ▪ I've got a history lesson …
Longman DOCE5 Extras English vocabulary
PHYSICAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a physical characteristic ▪ physical characteristics such as your height and weight a physical …
Longman DOCE5 Extras English vocabulary
PARTLY — adverb COLLOCATIONS FROM OTHER ENTRIES half/partly right (= correct to some degree, but not completely ) ▪ That theory may …
Longman DOCE5 Extras English vocabulary
DEPEND — verb COLLOCATIONS FROM OTHER ENTRIES depend on certain factors ▪ Success depends on certain factors. depend on/rely on aid ▪ …
Longman DOCE5 Extras English vocabulary
ADOPT — verb COLLOCATIONS FROM OTHER ENTRIES accept/adopt a suggestion (= do what is suggested ) ▪ The issue was finally settled …
Longman DOCE5 Extras English vocabulary
TURING MACHINE — < computability > A hypothetical machine defined in 1935-6 by Alan Turing and used for computability theory proofs. It consists …
FOLDOC Computer English Dictionary
ZONAL SPHERICAL FUNCTION — зональная сферическая функция zero function wurzelfrei function wrapping function work function window function well-integrable function well-behaved function voting function vertex function vector-valued function valuation function unramified function unknown function univariate function univalent function unit function unisolvent function unimodular …
Англо-Русский научно-технический словарь
SET
Англо-Русский научно-технический словарь
RELATION — 1) зависимость 2) касательность 3) отношение 4) реляционный 5) родственность 6) связь 7) соотношение • almost regular relation — почти регулярное отношение almost universal relation — почти универсальное отношение causal …
Англо-Русский научно-технический словарь
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
POINT — 1) машиностр. балл 2) деление 3) заострение 4) запятая 5) кегль 6) место 7) топогр. мыс 8) наконечник 9) острие 10) острый конец 11) очко 12) предмет 13) пункт 14) расшивать 15) расшить 16) ставить …
Англо-Русский научно-технический словарь
PERMUTATION — 1) изменение 2) перемена 3) перемещение 4) перестановка 5) перестановочный 6) пермутация 7) подстановка 8) размещение • permutation [permuted] code — перестановочный код permutation has one inversion — перестановка имеет …
Англо-Русский научно-технический словарь
HIERARCHY — иерархия; иерархическое представление; соподчинённость - analytical hierarchy - arithmetical hierarchy - decision-making hierarchy - exponential hierarchy - finite hierarchy - first-order hierarchy - hierarchy of actions - hierarchy …
Англо-Русский научно-технический словарь
COMPUTATION — вычисление; расчёт; подсчёт - angle computation - approximate computation - approximating computation - area computation - automatic computation - brute force computation - correction computation - direct computation - …
Англо-Русский научно-технический словарь
ГИПЕРАРИФМЕТИЧЕСКОЕ ОТНОШЕНИЕ — мат. hyperarithmetical relation
Большой Русско-Английский словарь

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

← HYPERAREAL METRIC HYPERARITHMETICAL COMPUTATION→