TYPE OF QUANTIFIER

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

матем. тип квантора

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

TYPE OF QUANTIFIER — мат. тип квантора
Большой Англо-Русский словарь
TYPE OF QUANTIFIER — мат. тип квантора
Новый большой Англо-Русский словарь
QUANTIFIER — noun Date: 1876 one that quantifies: as, a prefixed operator that binds the variables in a logical formula by specifying …
Толковый словарь английского языка - Merriam Webster
TYPE — I. ˈtīp noun ( -s ) Usage: often attributive Etymology: Late Latin typus, from Latin & Greek; Latin typus image, …
Webster's New International English Dictionary
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
TYPE — /tuyp/ , n. , v. , typed, typing . n. 1. a number of things or persons sharing a particular …
Random House Webster's Unabridged 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
TYPE — I. ˈtīp noun Usage: often attributive Etymology: Middle English, from Late Latin typus, from Latin & Greek; Latin typus image, …
Merriam-Webster's Collegiate English vocabulary
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
TYPE — noun form or character impressed; style; semblance. 2. type ·noun the mark or impression of something; stamp; impressed sign; emblem. …
Webster English vocab
QUANTIFIER — ■ noun 1》 Logic an expression (e.g. some ) that indicates the scope of a term to which it is …
Concise Oxford English vocab
TYPE — [type] n, often attrib [ME, fr. LL typus, fr. L & Gk; L typus image, fr. Gk typos blow, impression, …
Merriam-Webster 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
TYPE — / taɪp; NAmE / noun , verb ■ noun 1. [ C ] type (of sth) a class or group …
Oxford Advanced Learner's English Dictionary
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
TYPE — I. type 1 S1 W1 /taɪp/ BrE AmE noun [ Word Family: noun : ↑ type , ↑ typology ; …
Longman Dictionary of Contemporary English
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
TYPE — n. & v. --n. 1 a a class of things or persons having common characteristics. b a kind or sort …
Английский основной разговорный словарь
TYPE — n. & v. n. 1 a a class of things or persons having common characteristics. b a kind or sort …
Concise Oxford English Dictionary
TYPE — n. & v. --n. 1. a a class of things or persons having common characteristics. b a kind or sort …
Oxford English vocab
TYPE — I. SORT OR KIND /taɪp/ ( types) Frequency: The word is one of the 1500 most common words in English. …
Collins COBUILD Advanced Learner's English Dictionary
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 - Толковый словарь английского языка для изучающих язык
TYPE — I. noun COLLOCATIONS FROM OTHER ENTRIES a grammatical/spelling/typing error ▪ You lose marks if your paper contains spelling errors. a …
Longman DOCE5 Extras English vocabulary
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
TYPE
Longman Activator English vocab
TYPE — < theory , programming > (Or "data type") A set of values from which a variable , constant , function …
FOLDOC Computer English Dictionary
QUANTIFIER — < logic > An operator in predicate logic specifying for which values of a variable a formula is true. Universally …
FOLDOC Computer English Dictionary
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Большой Англо-Русский словарь
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Большой Англо-Русский словарь
QUANTIFIER — Квантор
Американский Англо-Русский словарь
TYPE — type.ogg 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине …
Большой Англо-Русский политехнический словарь
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине 5) вчт. вводить (с …
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь - РУССО
TYPE — 1) вид 2) литера 3) марка 4) печатать на машинке 5) род 6) тип 7) типичный образец 8) шрифт • abstract data type — матем. объект информационный абстрактный boxing of …
Англо-Русский научно-технический словарь
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
TYPE — type сущ.1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? …
Англо-Русский словарь Tiger
QUANTIFIER — сущ.; лингв.квантификаторGram: Quantifiers
Англо-Русский словарь Tiger
QUANTIFIER — (n) квантификатор; квантор; кванторное слово
English-Russian Lingvistica'98 dictionary
QUANTIFIER — n 1. лог. , мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. …
Новый большой Англо-Русский словарь - Апресян, Медникова
TYPE — 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. разновидность …
Большой новый Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Большой новый Англо-Русский словарь
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода …
Англо-Русский словарь по общей лексике
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь по общей лексике
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? It is …
Англо-Русский словарь общей лексики
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь общей лексики
TYPE — 1) тип, типичный экземпляр, типичный представитель 2) разновидность 3) сист. тип • - community type - complementary mating type - mating type - name-bearing type - reaction type - …
Новый Англо-Русский словарь по биологии
TYPE — 1) тип, типичный экземпляр, типичный представитель 2) разновидность 3) сист. тип • - community type - complementary mating type - …
Новый Англо-Русский биологический словарь
QUANTIFIER — _n. _лингв. квантификатор
Англо-Русский словарь Мюллера - 24 редакция
QUANTIFIER — n. лингв. квантификатор
Англо-Русский словарь Мюллера - редакция bed
QUANTIFIER — квантор.
Англо-Русский словарь по компьютерам
TYPE — тип; вид; род; категория - accumulation type - cement type - chemical type of oil - drilling bit cutting structure type - drilling bit type - …
Большой Англо-Русский словарь по нефти и газу
TYPE — 1) тип; род; класс; вид 2) ЯП тип (данных, объекта, функции и т.п. ), см. тж data type - abstract data type - …
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFIER — 1) логика квантор 2) квантификатор (слово для обозначения количественных отношений) • - bounded quantifier - existential quantifier - generality quantifier - universal quantifier
Англо-Русский словарь по вычислительной технике и программированию
TYPE — тип; класс - access type - data type - field motion type - frame-motion type - macroblock type - picture coding type - radio transmission type - servicing …
Англо-Русский словарь по телекоммуникациям
TYPE
Англо-Русский словарь по полиграфии и издательскому делу
TYPE — 1) тип, вид; группа 2) шрифт; литера 3) символ 4) модель, образец 5) штамп, оттиск • - arabic type - art type - body type - bold type face - …
Англо-Русский словарь по патентам и товарным знакам
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Новый большой Англо-Русский словарь
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Новый большой Англо-Русский словарь

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

← TYPE OF FUNCTION TYPE OF VARIABLE→