Vous avez cherché: quantifier (Anglais - Allemand)

quantifier
quantor

quantifier quantitative
quantoren (operatoren, die der spezifizierung von mengen dienen) (pl.)

quantifier, 0 or more.
quantifizierer, steht für kein oder mehrere.

quantifier, 1 or more.
quantifizierer, steht für eins oder mehrere.

quantifier quantitative restrictions
massnahmen der mengenmässigen beschränkung

universal quantifier, for all
allquantor, für alle (forall)

specific quantifier quantitative restrictions
besondere höchstmengen

universal quantifier, for all (forall)
schaltfläche im auswahlfenster

existential quantifier, there is at least one
existenzquantor, es existiert mind. ein (exists)

2. the generalized quantifier model, the functional analysis
2. die passivisierung

apparatus for controlling the quantifier of a hybrid coder.
vorrichtung zur steuerung des quantisierers eines hybridkodierers.

you can insert the universal quantifier for all using this icon.
sie fügen mit dem symbol den allquantor "für alle" ein.

existential quantifier, there is at least one (exists)
siehe linie mit kanten oben

an optional character. can be interpreted as a quantifier, 0 or 1.
ein optionales zeichen. kann als quantifizierer; 0- oder 1-mal gedeutet werden.

for an intuition about the quantifier rules, consider the rule formula_56.
for an intuition about the quantifier rules, consider the rule (∀r).

let:formula_1be a formula of first-order logic with:formula_2 quantifier-free.
der satz besagt::sei formula_1 eine geschlossene prädikatenlogische formel.

for this purpose, larry wall created the minimal match or non-greedy quantifiers "??", "*?", "+?", and "{}?".
to get non-greedy versions of the same quantifiers, use ("??", "*?", "+?", "{}?").