quan·ti·fi·er [ˈkwɒntɪfaɪəʳ, америк. ˈkwɑ:nt̬əfaɪɚ] СУЩ.
1. quantifier (particle):
- quantifier in logic
-
- quantifier in logic
-
2. quantifier МАТЕМ. (expression):
- quantifier
-
3. quantifier ЛИНГВ. (modifier):
4. quantifier ИНФОРМ.:
- quantifier
- Quantor м.
universal quantifier СУЩ.
- universal quantifier МАТЕМ.
- Allquantor м.
existential quantifier СУЩ.
- existential quantifier МАТЕМ.
-
PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
Pi-types can also be understood as models of universal quantifiers.
en.wikipedia.org The existential and universal quantifiers in logic are similarly dual.
en.wikipedia.org Note the implied universal quantifiers in the above axioms.
en.wikipedia.org Fairness amounts to expanding every universal quantifier infinitely often.
en.wikipedia.org It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.
en.wikipedia.org