QUANTIFIER-FREE CALCULUS

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

матем. бескванторное исчисление

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

QUANTIFIER-FREE CALCULUS — мат. бескванторное исчисление
Большой Англо-Русский словарь
QUANTIFIER-FREE CALCULUS — мат. бескванторное исчисление
Новый большой Англо-Русский словарь
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 …
Английский словарь Британика
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
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
CALCULUS — I. ˈkalkyələs, ˈkau̇k- noun ( plural calcu·li -ˌlī, -ē ; also calcu·lus·es -_ləsə̇z) Etymology: Latin, pebble, stone in the bladder …
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
CALCULUS — /kal"kyeuh leuhs/ , n. , pl. calculi /-luy'/ , calculuses . 1. Math. a method of calculation, esp. one of …
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
CALCULUS — noun ( plural cal·cu·li -ˌlī, -ˌlē ; also -lus·es ) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. …
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
CALCULUS — noun a method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may …
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
CALCULUS — [cal.cu.lus] n, pl -li also -lus.es [L, stone (used in reckoning)] (1666) 1 a: a method of computation or calculation …
Merriam-Webster English vocab
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
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
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
FREE — adj., adv., & v. --adj. (freer; freest) 1 not in bondage to or under the control of another; having personal …
Английский основной разговорный словарь
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Английский основной разговорный словарь
FREE — adj., adv., & v. adj. (freer; freest) 1 not in bondage to or under the control of another; having personal …
Concise Oxford English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
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
CALCULUS — n. (pl. calculuses or calculi) 1. Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
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
CALCULUS — Calculus is a branch of advanced mathematics which deals with variable quantities. N-UNCOUNT
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
CALCULUS — noun COLLOCATIONS FROM OTHER ENTRIES differential calculus COLLOCATIONS FROM CORPUS ■ ADJECTIVE differential ▪ The package is designed to solve, …
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
FREE — adj. free enterprise system free market economy North American Free Trade Agreement Free Territory of Trieste European Free Trade Association …
Britannica Concise Encyclopedia
CALCULUS — n. differential calculus fundamental theorem of calculus integral calculus renal calculus predicate calculus propositional calculus
Britannica Concise Encyclopedia
CALCULUS — n. Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
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. ≈ пользоваться чем-л. без ограничений; …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
QUANTIFIER — Квантор
Американский Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FREE — 1. fri: a 1. свободный, независимый, вольный free country - свободная страна free people - свободный народ 2. находящийся на …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of …
Большой Англо-Русский политехнический словарь
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь - РУССО
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of classes - calculus of enlargement - calculus …
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
QUANTIFIER — сущ.; лингв.квантификаторGram: Quantifiers
Англо-Русский словарь Tiger
CALCULUS — I сущ.; мн. ч. -li; мед.камень bladder calculi — камни в мочевом пузыре Syn:stone II. сущ.; мн. ч. -es , …
Англо-Русский словарь Tiger
QUANTIFIER — (n) квантификатор; квантор; кванторное слово
English-Russian Lingvistica'98 dictionary
QUANTIFIER — n 1. лог. , мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. …
Новый большой Англо-Русский словарь - Апресян, Медникова

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

← QUANTIFIER-FREE QUANTIFIER-FREE FORMULA→