HYPERARITHMETICAL PREDICATE

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

мат. гиперарифметический предикат

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

HYPERARITHMETICAL PREDICATE — мат. гиперарифметический предикат
Большой Англо-Русский словарь
HYPERARITHMETICAL PREDICATE — матем. гиперарифметический предикат
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
PREDICATE — v. asserter, afirmar; n. ~
English interlingue dictionary
PREDICATE — I. noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. something that is …
Толковый словарь английского языка - Merriam Webster
PREDICATE — I. ˈpredə̇kə̇]t, -dēk- sometimes -dəˌkā]; usu ]d.+V noun ( -s ) Etymology: Late Latin praedicatum, from neuter of praedicatus, past …
Webster's New International English Dictionary
PREDICATE — (a.) Predicated.
Английский словарь Webster
PREDICATE — (v. t.) The word or words in a proposition which express what is affirmed of the subject.
Английский словарь Webster
PREDICATE — (v. t.) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink is not …
Английский словарь Webster
PREDICATE — (v. i.) To affirm something of another thing; to make an affirmation.
Английский словарь Webster
PREDICATE — (v. t.) To found; to base.
Английский словарь Webster
PREDICATE — (v. t.) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness of snow.
Английский словарь Webster
PREDICATE — ( v. t. ) To found; to base.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness …
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) The word or words in a proposition which express what is affirmed of the subject.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink …
Webster's Revised Unabridged English Dictionary
PREDICATE — — predication , n. — predicational , adj. — predicative /pred"i kay'tiv, -keuh-/ ; Brit. /pri dik"euh tiv/ , adj. …
Random House Webster's Unabridged English Dictionary
PREDICATE — I. ˈpre-di-kət noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. a. : …
Merriam-Webster's Collegiate English vocabulary
PREDICATE — adj predicated. 2. predicate ·vt to found; to base. 3. predicate ·vt the word or words in a proposition which …
Webster English vocab
PREDICATE — [pred.i.cate] n [ME, fr. LL praedicatum, fr. neut. of praedicatus] (15c) 1 a: something that is affirmed or denied of …
Merriam-Webster English vocab
PREDICATE — I predi|cate verb BrE AmE ˈpred ɪ |keɪt ▷ predi|cated keɪt ɪd -əd AmE keɪt̬ əd ▷ predi|cates keɪts ▷ …
Longman Pronunciation English Dictionary
PREDICATE — noun , verb ■ noun / ˈpredɪkət; NAmE / ( grammar ) a part of a sentence containing a verb …
Oxford Advanced Learner's English Dictionary
PREDICATE — The noun is pronounced /predɪkət/. The verb is pronounced /predɪkeɪt/. ( predicated) 1. In some systems of grammar, the predicate …
Collins COBUILD Advanced Learner's English Dictionary
PREDICATE — I. noun EXAMPLES FROM CORPUS ▪ A state of the blocks world is portrayed as an assertion, formed with predicate …
Longman DOCE5 Extras English vocabulary
PREDICATE — (SENTENCE PART) [noun] [C] [specialized] - (in grammar) the part of a sentence which gives information about the subjectIn the …
Cambridge English vocab
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
PREDICATE — predicate.ogg 1. ʹpredıkıt n 1> грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PREDICATE — 1. сущ.1) грам. предикат, сказуемое Gram: Predicate 2) логика утверждение 2. predicate гл.1) утверждать тж. логика ( of, about) Syn:affirm, …
Англо-Русский словарь Tiger
PREDICATE — 1. ʹpredıkıt n 1) грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective - …
Большой новый Англо-Русский словарь
PREDICATE — 1. ˈpredɪkɪt сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ˈpredɪkeɪt гл. 1) утверждать тж. лог. ( …
Англо-Русский словарь по общей лексике
PREDICATE — 1. ['ЈЇў¬Ў°Ў«] сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ['ЈЇў¬Ў°ўЎ«] predicate.wav гл. 1) утверждать тж. лог. (of, about) Syn: affirm, declare 2) амер. основывать (утверждение и т. …
Англо-Русский словарь общей лексики
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь по вычислительной технике и программированию
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь компьютерных терминов
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Новый большой Англо-Русский словарь
HYPERARITHMETICAL SET — мат. гиперарифметическое множество
Большой Англо-Русский словарь
HYPERARITHMETICAL RELATION — мат. гиперарифметическое отношение
Большой Англо-Русский словарь
HYPERARITHMETICAL QUANTIFIER — мат. гиперарифметический квантор
Большой Англо-Русский словарь
HYPERARITHMETICAL POINT — мат. гиперарифметическая точка
Большой Англо-Русский словарь
HYPERARITHMETICAL PERMUTATION — мат. гиперарифметическая перестановка
Большой Англо-Русский словарь
HYPERARITHMETICAL HIERARCHY — мат. гиперарифметическая иерархия
Большой Англо-Русский словарь
HYPERARITHMETICAL FUNCTION — мат. гиперарифметическая функция
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTATION — мат. гиперарифметическое вычисление
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTABILITY — мат. гиперарифметическая вычислимость
Большой Англо-Русский словарь
HYPERARITHMETICAL SET — матем. гиперарифметическое множество
Англо-Русский научно-технический словарь
HYPERARITHMETICAL RELATION — матем. гиперарифметическое отношение
Англо-Русский научно-технический словарь
HYPERARITHMETICAL QUANTIFIER — матем. гиперарифметический квантор
Англо-Русский научно-технический словарь
HYPERARITHMETICAL POINT — матем. гиперарифметическая точка
Англо-Русский научно-технический словарь
HYPERARITHMETICAL PERMUTATION — матем. гиперарифметическая перестановка
Англо-Русский научно-технический словарь
HYPERARITHMETICAL HIERARCHY — матем. гиперарифметическая иерархия
Англо-Русский научно-технический словарь
HYPERARITHMETICAL FUNCTION — матем. гиперарифметическая функция
Англо-Русский научно-технический словарь
HYPERARITHMETICAL COMPUTATION — матем. гиперарифметическое вычисление
Англо-Русский научно-технический словарь
HYPERARITHMETICAL COMPUTABILITY — матем. гиперарифметическая вычислимость
Англо-Русский научно-технический словарь
COMPUTABILITY — вычисляемость, вычислимость - complete computability - computability predicate - effective computability - generalized computability - hyperarithmetical computability - mechanical computability …
Большой Англо-Русский словарь
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 — рекурсивно …
Англо-Русский научно-технический словарь
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 - …
Англо-Русский научно-технический словарь
COMPUTABILITY — вычисляемость, вычислимость - complete computability - effective computability - generalized computability - hyperarithmetical computability - mechanical computability - partial computability - practical computability - prime computability - recursive computability - …
Англо-Русский научно-технический словарь
ГИПЕРАРИФМЕТИЧЕСКОЕ ОТНОШЕНИЕ — мат. hyperarithmetical relation
Большой Русско-Английский словарь

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

← HYPERARITHMETICAL POINT HYPERARITHMETICAL QUANTIFIER→