-
101 связанность по квантору
Linguistics: Q-binding, quantifier bindingУниверсальный русско-английский словарь > связанность по квантору
-
102 символ квантора существования
Mathematics: existential quantifier symbolУниверсальный русско-английский словарь > символ квантора существования
-
103 символ квантора универсальности
Mathematics: universal quantifier symbolУниверсальный русско-английский словарь > символ квантора универсальности
-
104 статистический квантор
Mathematics: statistical quantifierУниверсальный русско-английский словарь > статистический квантор
-
105 тип квантора
Mathematics: type of quantifier -
106 типовой квантор
Mathematics: typical quantifier -
107 фиктивный квантор
Mathematics: dummy quantifier -
108 функциональный квантор
Mathematics: function quantifierУниверсальный русско-английский словарь > функциональный квантор
-
109 численный квантор
Mathematics: numerical quantifier -
110 ограниченный квантор
Русско-английский политехнический словарь > ограниченный квантор
-
111 Р-140
ОТ РОДУ PrepP Invar used as a restr marker)1. used with a quantifier to denote s.o. 's age (the idiom may be omitted in translation): (Num) years of age(Num) years (months etc) old.Скончался он (мой отец), когда было мне всего лишь два года от роду, и не помню я его вовсе (Достоевский 1). Не (ту father) died when I was only two years old, and I do not remember him at all (1a).Между тем 17 ноября 1861 г., имея двадцать пять лет от роду, Добролюбов скончался (Набоков 1). Meanwhile, on November 17, 1861, at twenty-five years of age, Dobrolyubov died (1a).Это был человек лет тридцати двух-трех от роду, среднего роста, приятной наружности... (Гончаров 1). Не was a man of about thirty-two or three, of medium height and pleasant appearance... (1a).2. coll throughout one's entire lifein (all) one's life(when used with a negated verb only) never in all one's born days.«Вы счастливы в игре», - сказал я Вуличу... «В первый раз от роду», - отвечал он... (Лермонтов 1). "You've got gambler's luck," I said to Vulich. "For once in my life," he said.. (Ic).«Этакого дурака я еще от роду не видывал...» (Гоголь 3). "I've never met a fool like that in all my life," said Chichikov (3a). "Never in all my born days have I seen such a fool" said Chichikov (3b). -
112 квантор всеобщности
Русско-английский словарь по машиностроению > квантор всеобщности
-
113 квантор общности
Русско-английский словарь по машиностроению > квантор общности
-
114 квантор существования
Русско-английский словарь по машиностроению > квантор существования
-
115 от роду
• ОТ РОДУ[PrepP; Invar; used as a restr marker]=====1. used with a quantifier to denote s.o.'s age (the idiom may be omitted in translation): [Num]⇒ years of age; [Num] years (months etc) old.♦ Скончался он [мой отец], когда было мне всего лишь два года от роду, и не помню я его вовсе (Достоевский 1). Не [ ту father] died when I was only two years old, and I do not remember him at all (1a).♦ Между тем 17 ноября 1861 г., имея двадцать пять лет от роду, Добролюбов скончался (Набоков 1). Meanwhile, on November 17, 1861, at twenty-five years of age, Dobrolyubov died (1a).♦ Это был человек лет тридцати двух-трех от роду, среднего роста, приятной наружности... (Гончаров 1). He was a man of about thirty-two or three, of medium height and pleasant appearance... (1a).2. coll throughout one's entire life:- [when used with a negated verb only] never in all one's born days.♦ "Вы счастливы в игре", - сказал я Вуличу... "В первый раз от роду", - отвечал он... (Лермонтов 1). "You've got gambler's luck," I said to Vulich. "For once in my life," he said.. (Ic).♦ "Этакого дурака я еще от роду не видывал..." (Гоголь 3). "I've never met a fool like that in all my life," said Chichikov (3a). "Never in all my born days have I seen such a fool" said Chichikov (3b).Большой русско-английский фразеологический словарь > от роду
-
116 квантифицировать
vmath. quantifier -
117 квантовать
-
118 навешивать кванторы
vlogic. quantifier -
119 определить количество
vgener. doser, quantifierDictionnaire russe-français universel > определить количество
-
120 определять количество
Dictionnaire russe-français universel > определять количество
См. также в других словарях:
quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… … Encyclopédie Universelle
quantifier — [kwänt′ə fī΄ər] n. Logic a word, term, prefix, symbol, etc. that quantifies … English World dictionary
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
quantifier — noun 1. (logic) a word (such as some or all or no ) that binds the variables in a logical proposition • Syn: ↑logical quantifier • Topics: ↑logic • Hypernyms: ↑word … Useful english dictionary
quantifier — /kwon teuh fuy euhr/, n. 1. Logic. an expression, as all or some, that indicates the quantity of a proposition. Cf. existential quantifier, universal quantifier. 2. a word, esp. a modifier, that indicates the quantity of something. [1875 80;… … Universalium
quantifier — noun a) A word, such as all or many, that expresses a quantity b) The operator, represented by either of the symbols ∀ (universal quantifier) or ∃ (existential quantifier), used in … Wiktionary
quantifier — UK [ˈkwɒntɪˌfaɪə(r)] / US [ˈkwɑntəˌfaɪər] noun [countable] Word forms quantifier : singular quantifier plural quantifiers linguistics a word or phrase such as much or a few that is used with another word to show quantity … English dictionary
quantifier — quan•ti•fi•er [[t]ˈkwɒn təˌfaɪ ər[/t]] n. 1) pho logic an expression, as “all” or “some,” that indicates the quantity of a proposition Compare existential quantifier universal quantifier 2) gram. a word or phrase, usu. modifying a noun, that… … From formal English to slang
quantifier — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m … Automatikos terminų žodynas
quantifier — [[t]kwɒ̱ntɪfaɪə(r)[/t]] quantifiers N COUNT In grammar, a quantifier is a word or phrase such as plenty or a lot which you use to refer to a quantity of something without being precise. It is often followed by of , as in a lot of money … English dictionary
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia