-
41 quantifier
-
42 existential
-
43 existential
1. a книжн. относящийся к существованию, реальности2. a филос. экзистенциальный -
44 quantifier
сущ.;
линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное слово( количественное числительное, наречие и т. п.) quantifier: existential ~ квантор существования quantifier: existential ~ квантор существования universal ~ квантор всеобщностиБольшой англо-русский и русско-английский словарь > quantifier
-
45 bounded quantifier
universal quantifier — всеобщий квантор, квантор общности
-
46 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
-
47 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
English-Russian big polytechnic dictionary > generality quantifier
-
48 universal quantifier
English-Russian dictionary of Information technology > universal quantifier
-
49 bounded quantifier
universal quantifier — всеобщий квантор, квантор общности
The English-Russian dictionary general scientific > bounded quantifier
-
50 universal quantifier
-
51 universal quantifier
English-Russian big medical dictionary > universal quantifier
-
52 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
The English-Russian dictionary general scientific > generality quantifier
-
53 universal quantifier
The English-Russian dictionary general scientific > universal quantifier
-
54 квантор существования
Большой англо-русский и русско-английский словарь > квантор существования
-
55 квантор существования
Англо-русский словарь технических терминов > квантор существования
-
56 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
57 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
58 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
59 inference
(логический) вывод; суждение; умозаключение -
60 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
existential quantifier — egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
existential quantifier — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential operator • Hypernyms: ↑quantifier, ↑logical quantifier … Useful english dictionary
existential quantifier — Logic. a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier. Also called particular quantifier. Cf. universal quantifier. [1935 40] * * * … Universalium
existential quantifier — noun Date: 1936 a quantifier (as for some in “for some x, 2x + 5 = 8”) that asserts that there exists at least one value of a variable called also existential operator … New Collegiate Dictionary
existential quantifier — ex′isten′tial quan′tifier n. logic pho a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier • Etymology: 1935–40 … From formal English to slang
existential quantifier — noun The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Some verbal equivalents are there exists or there is . See Also: universal quantifier … Wiktionary
existential quantifier — See quantifier, variable … Philosophy 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
Existential quantification — In predicate logic, an existential quantification is the predication [The term predication in grammar means the predicate of a sentence which refers to subject and is an adverb or adjective, or equivalent, that describes an attribute of the… … Wikipedia
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
existential operator — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential quantifier • Hypernyms: ↑quantifier, ↑logical quantifier * * * noun or existentia … Useful english dictionary