QUANTIFIER-FREE FORMULA

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

матем. бескванторная формула

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

QUANTIFIER-FREE FORMULA — мат. бескванторная формула
Большой Англо-Русский словарь
QUANTIFIER-FREE FORMULA — мат. бескванторная формула
Новый большой Англо-Русский словарь
QUANTIFIER — noun Date: 1876 one that quantifies: as, a prefixed operator that binds the variables in a logical formula by specifying …
Толковый словарь английского языка - Merriam Webster
FREE — [c mediumvioletred] (as used in expressions) free market economy North American Free Trade Agreement Free Territory of Trieste European Free …
Английский словарь Британика
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
FREE — I. ˈfrē adjective ( fre·er ˈfrēə(r), ˈfri(ə)r, -iə ; fre·est ˈfrēə̇st) Etymology: Middle English fre, free, from Old English frēo; …
Webster's New International English Dictionary
FORMULA — I. ˈfȯrmyələ, -ȯ(ə)m- noun ( plural formu·las -ləz ; also formu·lae -ˌlē, -ˌlī) Usage: often attributive Etymology: Latin, diminutive of …
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
FREE — — freeness , n. /free/ , adj., freer, freest , adv., v., freed, freeing . adj. 1. enjoying personal rights …
Random House Webster's Unabridged English Dictionary
FORMULA — /fawr"myeuh leuh/ , n. , pl. formulas, formulae /-lee'/ . 1. a set form of words, as for stating or …
Random House Webster's Unabridged English Dictionary
QUANTIFIER — n. word that expresses a quantity (Grammar)
Толковый словарь английского языка - Редакция bed
FREE — I. ˈfrē adjective ( fre·er ; fre·est ) Etymology: Middle English, from Old English frēo; akin to Old High German …
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
FREE — adv freely; willingly. 2. free ·adj to frank. 3. free ·adv without charge; as, children admitted free. 4. free ·superl …
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
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
FREE — free BrE AmE friː ▷ freed friːd ▷ freeing ˈfriː ɪŋ ▷ freely ˈfriː li ▷ freer ˈfri ː ‿ə …
Longman Pronunciation 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
FREE — / friː; NAmE / adjective , verb , adverb ■ adjective ( freer / ˈfriːə(r); NAmE / freest / ˈfriːɪst; …
Oxford Advanced Learner's English Dictionary
FORMULA — / ˈfɔːmjələ; NAmE ˈfɔ:rm-/ noun ( pl. for·mu·las or, especially in scientific use, for·mu·lae / -liː; NAmE /) 1. [ …
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
FREE — I. free 1 S1 W1 /friː/ BrE AmE adjective [ Word Family: noun : ↑ freebie , ↑ freedom ; …
Longman Dictionary of Contemporary English
FORMULA — for ‧ mu ‧ la S3 W3 AC /ˈfɔːmjələ, ˈfɔːmjʊlə $ ˈfɔːr-/ BrE AmE noun ( plural formulas or formulae …
Longman Dictionary of Contemporary English
FREE — adj., adv., & v. --adj. (freer; freest) 1 not in bondage to or under the control of another; having personal …
Английский основной разговорный словарь
FREE — adj., adv., & v. adj. (freer; freest) 1 not in bondage to or under the control of another; having personal …
Concise Oxford English Dictionary
FREE — adj., adv., & v. --adj. (freer; freest) 1. not in bondage to or under the control of another; having personal …
Oxford English vocab
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
FREE — ( freer, freest, frees, freeing, freed) Frequency: The word is one of the 700 most common words in English. 1. …
Collins COBUILD Advanced Learner's English Dictionary
FORMULA — ( formulae /fɔ:(r)mjʊli:/ , or formulas) Frequency: The word is one of the 3000 most common words in English. 1. …
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
FREE — I. adjective COLLOCATIONS FROM OTHER ENTRIES (a) free choice ▪ Students have an entirely free choice of what to study …
Longman DOCE5 Extras English vocabulary
FORMULA — noun COLLOCATIONS FROM OTHER ENTRIES baby/formula milk (= milk in powder form for babies ) ▪ Many babies are fed …
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
FORMULA — [noun] [C] [plural] formulas or formulae - a standard or accepted way of doing or making something, the items needed …
Cambridge English vocab
FREE — adj. free enterprise system free market economy North American Free Trade Agreement Free Territory of Trieste European Free Trade Association …
Britannica Concise Encyclopedia
FREE
Longman Activator 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
FREE — adj. 1 at liberty, unfettered, unchained, unshackled, unconfined, untrammelled, unencumbered, unrestrained, unrestricted, unconstrained, uncontrolled, free-born, independent, self-governing, self-governed, self-ruling, autonomous, …
Oxford Thesaurus English vocab
-FREE — combining form (Environment) (Health and Fitness) (Lifestyle and Leisure) As the second element in a hyphenated adjective: not containing or …
Английский разговорный словарь - Новые слова
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Большой Англо-Русский словарь
FREE — 1. прил. 1) а) свободный, вольный, независимый (from, of) to make free use of smth. ≈ пользоваться чем-л. без ограничений; …
Большой Англо-Русский словарь
FORMULA — сущ. 1) формула, формулировка to devise a formula ≈ формулировать a scientific formula ≈ научная формула At the Yalta Conference …
Большой Англо-Русский словарь
QUANTIFIER — Квантор
Американский Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FREE — 1. fri: a 1. свободный, независимый, вольный free country - свободная страна free people - свободный народ 2. находящийся на …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMULA — formula.ogg ʹfɔ:mjʋlə n ( pl тж. -lae) 1. формула legal formula - юридическая формула «sincerely yours» is a formula used …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь
FORMULA — 1) химическая формула 2) (математическая) формула; аналитическое выражение; уравнение 3) состав; композиция; рецептура • formula with backward differences — интерполяционная …
Большой Англо-Русский политехнический словарь
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь - РУССО
FORMULA — 1) химическая формула 2) (математическая) формула; аналитическое выражение; уравнение 3) состав; композиция; рецептура • formula with backward differences — интерполяционная формула Ньютона для интерполирования …
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь
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. лингв. …
Большой новый Англо-Русский словарь
FREE — 1. fri: a 1. свободный, независимый, вольный free country - свободная страна free people - свободный народ 2. находящийся на …
Большой новый Англо-Русский словарь
FORMULA — n ( pl тж. -lae) 1. формула legal formula - юридическая формула «sincerely yours» is a formula used in letters …
Большой новый Англо-Русский словарь
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь по общей лексике
FREE — 1. прил. 1) а) свободный, вольный, независимый free from doubts — свободный от сомнений to make free use of smth. …
Англо-Русский словарь по общей лексике
FORMULA — сущ. 1) формула, формулировка to devise a formula — формулировать a scientific formula — научная формула At the Yalta Conference …
Англо-Русский словарь по общей лексике
QUANTIFIER — сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор
Англо-Русский словарь общей лексики
FREE — 1. прил. 1) а) свободный, вольный, независимый free from doubts — свободный от сомнений to make free use of smth. — пользоваться чем-л. без …
Англо-Русский словарь общей лексики

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

← QUANTIFIER-FREE CALCULUS QUANTIFIER-FREE INFERENCE→