QUANTIFIER-FREE INFERENCE

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

матем. бескванторный вывод

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

QUANTIFIER-FREE INFERENCE — мат. бескванторный вывод
Большой Англо-Русский словарь
QUANTIFIER-FREE INFERENCE — мат. бескванторный вывод
Новый большой Англо-Русский словарь
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
INFERENCE — ˈinf(ə)rən(t)s also -fərn- noun ( -s ) Etymology: Medieval Latin inferentia, from Latin inferent-, inferens (present participle of inferre ) …
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
INFERENCE — /in"feuhr euhns, -freuhns/ , n. 1. the act or process of inferring. 2. something that is inferred: to make rash …
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
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
INFERENCE — noun Date: 1594 1. : the act or process of inferring: as a. : the act of passing from one …
Merriam-Webster's Collegiate English vocabulary
INFERENCE — noun the act or process of inferring by deduction or induction. 2. inference ·noun that which inferred; a truth or …
Webster English vocab
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
INFERENCE — [in.fer.ence] n (1594) 1: the act or process of inferring: as a: the act of passing from one proposition, statement, …
Merriam-Webster English vocab
INFERENCE — in statistics, the process of drawing conclusions about a particular parameter of a statistical distribution. One principal approach of statistical …
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
INFERENCE — / ˈɪnfərəns; NAmE / noun 1. [ C ] something that you can find out indirectly from what you already …
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
INFERENCE — in ‧ fer ‧ ence AC /ˈɪnf ə rəns/ BrE AmE noun [ Word Family: verb : ↑ infer ; …
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 …
Английский основной разговорный словарь
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
INFERENCE — ( inferences) 1. An inference is a conclusion that you draw about something by using information that you already have …
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
QUANTIFIER — (~s) In grammar, a ~ is a word or phrase such as ‘plenty’ or ‘a lot’ which you use to …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
INFERENCE — (~s) 1. An ~ is a conclusion that you draw about something by using information that you already have about …
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
INFERENCE — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE large ▪ In each study, contextual description is used in an effort to make …
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
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
INFERENCE — [noun] [formal]They were warned to expect a heavy air attack and by inference many casualties. [U]His change of mind was …
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
INFERENCE — n. Function: noun 1 the deriving of a conclusion by reasoning FF1C; the answer was obtainable by inference FF1E; Synonyms: …
Collegiate Thesaurus English vocab
INFERENCE — noun 1. the deriving of a conclusion by reasoning the answer was obtainable by inference Synonyms: deduction, illation, judgment, ratiocination …
Collegiate Thesaurus English vocabulary
INFERENCE — noun ADJECTIVE ▪ fair , logical , reasonable , valid ▪ obvious VERB + INFERENCE ▪ draw , make ▪ …
Oxford Collocations English Dictionary
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
INFERENCE — < logic > The logical process by which new facts are derived from known facts by the application of inference …
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 * квантор существования квантификатор, кванторное …
Большой Англо-Русский словарь
INFERENCE — сущ. 1) выведение, вывод, заключение, умозаключение to draw, make an inference from ≈ сделать вывод из invalid inference ≈ неправильный …
Большой Англо-Русский словарь
FREE — 1. прил. 1) а) свободный, вольный, независимый (from, of) to make free use of smth. ≈ пользоваться чем-л. без ограничений; …
Большой Англо-Русский словарь
QUANTIFIER — Квантор
Американский Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
INFERENCE — inference.ogg ʹınf(ə)rəns n 1. 1> вывод, заключение; умозаключение unfounded inferences - необоснованные выводы /заключения/ to draw an inference from smth. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FREE — 1. fri: a 1. свободный, независимый, вольный free country - свободная страна free people - свободный народ 2. находящийся на …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь
INFERENCE — (логический) вывод; умозаключение; рассуждение - analogical inference - analogic inference - formal inference
Большой Англо-Русский политехнический словарь
QUANTIFIER — 1) квантор 2) квантификатор • - existential quantifier - generality quantifier
Большой Англо-Русский политехнический словарь - РУССО
INFERENCE — (логический) вывод; умозаключение; рассуждение - analogical inference - analogic inference - formal inference
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
INFERENCE — 1) вывод 2) суждение 3) матем. умозаключение • method of inductive inference — метод индуктивного вывода method of statistical inference — метод статистического вывода theory of …
Англо-Русский научно-технический словарь
QUANTIFIER — сущ.; лингв.квантификаторGram: Quantifiers
Англо-Русский словарь Tiger
INFERENCE — inference сущ.1) выведение, вывод, заключение, умозаключение to draw, make an inference from — сделать вывод из invalid inference — неправильный …
Англо-Русский словарь Tiger

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

← QUANTIFIER-FREE FORMULA QUANTIFIER-FREE SENTENCE→