HYPERARITHMETICAL QUANTIFIER

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

матем. гиперарифметический квантор

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

HYPERARITHMETICAL QUANTIFIER — мат. гиперарифметический квантор
Большой Англо-Русский словарь
HYPERARITHMETICAL QUANTIFIER — мат. гиперарифметический квантор
Новый большой Англо-Русский словарь
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
QUANTIFIER — noun Date: 1876 one that quantifies: as, a prefixed operator that binds the variables in a logical formula by specifying …
Толковый словарь английского языка - Merriam Webster
QUANTIFIER — I. ˈkwäntəˌfī(ə)r noun ( -s ) 1. : a word (as a numeral) expressive of quantity two, thirty, many, and …
Webster's New International English Dictionary
QUANTIFIER — /kwon"teuh fuy'euhr/ , n. 1. Logic. an expression, as "all" or "some," that indicates the quantity of a proposition. Cf. …
Random House Webster's Unabridged English Dictionary
QUANTIFIER — n. word that expresses a quantity (Grammar)
Толковый словарь английского языка - Редакция bed
QUANTIFIER — noun Date: 1876 : one that quantifies: as a. : a prefixed operator that binds the variables in a logical …
Merriam-Webster's Collegiate English vocabulary
QUANTIFIER — ■ noun 1》 Logic an expression (e.g. some ) that indicates the scope of a term to which it is …
Concise Oxford English vocab
QUANTIFIER — [quan.ti.fi.er] n (1876): one that quantifies: as a: a prefixed operator that binds the variables in a logical formula by …
Merriam-Webster English vocab
QUANTIFIER — / ˈkwɒntɪfaɪə(r); NAmE ˈkwɑːn-/ noun ( grammar ) a determiner or pronoun that expresses quantity, for example 'all' or 'both'
Oxford Advanced Learner's English Dictionary
QUANTIFIER — quan ‧ ti ‧ fi ‧ er /ˈkwɒntəfaɪə, ˈkwɒntɪfaɪə $ ˈkwɑːntəfaɪər/ BrE AmE noun [countable] technical a word or phrase …
Longman Dictionary of Contemporary English
QUANTIFIER — ( quantifiers) In grammar, a quantifier is a word or phrase such as ‘plenty’ or ‘a lot’ which you use …
Collins COBUILD Advanced Learner's English Dictionary
QUANTIFIER — (~s) In grammar, a ~ is a word or phrase such as ‘plenty’ or ‘a lot’ which you use to …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
QUANTIFIER — noun EXAMPLES FROM CORPUS ▪ Also, since all variables are assumed universally quantified, there is never any need for an …
Longman DOCE5 Extras English vocabulary
QUANTIFIER — [noun] [C] [specialized]A quantifier is a word or phrase which is used before a noun to show the amount of …
Cambridge English vocab
QUANTIFIER — < logic > An operator in predicate logic specifying for which values of a variable a formula is true. Universally …
FOLDOC Computer English Dictionary
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Большой Англо-Русский словарь
QUANTIFIER — Квантор
Американский Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFIER — сущ.; лингв.квантификаторGram: Quantifiers
Англо-Русский словарь Tiger
QUANTIFIER — (n) квантификатор; квантор; кванторное слово
English-Russian Lingvistica'98 dictionary
QUANTIFIER — n 1. лог. , мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. …
Новый большой Англо-Русский словарь - Апресян, Медникова
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Большой новый Англо-Русский словарь
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь по общей лексике
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь общей лексики
QUANTIFIER — _n. _лингв. квантификатор
Англо-Русский словарь Мюллера - 24 редакция
QUANTIFIER — n. лингв. квантификатор
Англо-Русский словарь Мюллера - редакция bed
QUANTIFIER — квантор.
Англо-Русский словарь по компьютерам
QUANTIFIER — 1) логика квантор 2) квантификатор (слово для обозначения количественных отношений) • - bounded quantifier - existential quantifier - generality quantifier - universal quantifier
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Новый большой Англо-Русский словарь
HYPERARITHMETICAL SET — мат. гиперарифметическое множество
Большой Англо-Русский словарь
HYPERARITHMETICAL RELATION — мат. гиперарифметическое отношение
Большой Англо-Русский словарь
HYPERARITHMETICAL PREDICATE — мат. гиперарифметический предикат
Большой Англо-Русский словарь
HYPERARITHMETICAL POINT — мат. гиперарифметическая точка
Большой Англо-Русский словарь
HYPERARITHMETICAL PERMUTATION — мат. гиперарифметическая перестановка
Большой Англо-Русский словарь
HYPERARITHMETICAL HIERARCHY — мат. гиперарифметическая иерархия
Большой Англо-Русский словарь
HYPERARITHMETICAL FUNCTION — мат. гиперарифметическая функция
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTATION — мат. гиперарифметическое вычисление
Большой Англо-Русский словарь
HYPERARITHMETICAL COMPUTABILITY — мат. гиперарифметическая вычислимость
Большой Англо-Русский словарь
HYPERARITHMETICAL SET — матем. гиперарифметическое множество
Англо-Русский научно-технический словарь
HYPERARITHMETICAL RELATION — матем. гиперарифметическое отношение
Англо-Русский научно-технический словарь
HYPERARITHMETICAL PREDICATE — матем. гиперарифметический предикат
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
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 - …
Англо-Русский научно-технический словарь
COMPUTABILITY — вычисляемость, вычислимость - complete computability - effective computability - generalized computability - hyperarithmetical computability - mechanical computability - partial computability - practical computability - prime computability - recursive computability - …
Англо-Русский научно-технический словарь
ГИПЕРАРИФМЕТИЧЕСКОЕ ОТНОШЕНИЕ — мат. hyperarithmetical relation
Большой Русско-Английский словарь

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

← HYPERARITHMETICAL PREDICATE HYPERARITHMETICAL RELATION→