-
41 квантор общности
1. universal quantifierвсеобщий квантор, квантор общности — universal quantifier
2. generality quantifierРусско-английский большой базовый словарь > квантор общности
-
42 общность
f. generality, community; не уменьшая общности, without loss of generality; квантор общности, universal quantifier, generality quantifierРусско-английский словарь математических терминов > общность
-
43 квантор существования
1) existence quantifier
2) existential quantifierРусско-английский технический словарь > квантор существования
-
44 квантификатор
1) Engineering: quantifier2) Information technology: quantifier (слово для обозначения количественных отношений) -
45 квантор общности
Mathematics: generality quantifier, universal quantifier -
46 ограниченный квантор
Mathematics: bounded quantifier, restricted quantifierУниверсальный русско-английский словарь > ограниченный квантор
-
47 квантор существования
Русско-английский политехнический словарь > квантор существования
-
48 квантор всеобщности
generality quantifier, universal quantifierРусско-английский словарь по вычислительной технике и программированию > квантор всеобщности
-
49 квантор общности
-
50 квантор существования
Русско-английский математический словарь > квантор существования
-
51 общность
f. generality, community;
не уменьшая общности - without loss of generality;
квантор общности - universal quantifier, generality quantifier -
52 бескванторный
-
53 квантор общности
[lang name="Russian"]всеобщий квантор, квантор общности — universal quantifier
-
54 квантор общности
всеобщий квантор, квантор общности — universal quantifier
Русско-английский новый политехнический словарь > квантор общности
-
55 квантор общности
всеобщий квантор, квантор общности — universal quantifier
Русско-английский словарь по информационным технологиям > квантор общности
-
56 общность
-
57 квантор всеобщности
квантор всеобщности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > квантор всеобщности
-
58 квантор существования
квантор существования
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > квантор существования
-
59 бескванторный
adj. quantor-free, quantifier-freeРусско-английский словарь математических терминов > бескванторный
-
60 всеобщность
f. generality, universality; квантор всеобщности, universal quantifierРусско-английский словарь математических терминов > всеобщность
См. также в других словарях:
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