Translation of quantifier from English into French
Noun
linguistics
- A quantifier shows how many apples are in the basket.Un quantificateur montre combien de pommes sont dans le panier.
logic
- The universal quantifier applies to all elements.Le quantificateur universel s'applique à tous les éléments.
technology
- The asterisk is a common quantifier in regex.L'astérisque est un quantificateur courant en regex.
Expressions with quantifier: examples in English and translations in French
Synonyms and analogies of quantifier in English
Examples of quantifier in a sentence
Few quantifiers can express such precision. A quantifier in logic can be existential or universal. The statement's truth value depends on the quantifier used. In regex, a plus sign acts as a quantifier. The question mark serves as a quantifier in patterns.
Translations of "quantifier" in Context ordered by category and frequency
Without a quantifier, it matches a match for the atom.
Sans quantificateur, il établit une correspondance avec l'atome.
Thus in our example, the first quantifier.
Donc dans notre exemple, c'est le premier quantificateur.
A water flow quantifier enumerates the total volume of water processed.
Un quantificateur de passage d'eau dénombre le volume total d'eau traitée.
It is useful for optimal scalar quantifier design.
Il permet notamment de construire un quantificateur scalaire optimal.
Other translations for quantifier:
- quantifieurnm.
quantifier: Examples and translations in context
A quantified atom is an atom possibly followed by a single quantifier.
Un atome quantifié est un atome éventuellement suivi d'un quantificateur unique.
A quantifier cannot begin an expression or subexpression or follow ^ or |.
Un quantificateur ne peut pas commencer une expression ou une sous-expression ou suivre ^ ou |.
If an outer quantifier is present, the sumti is distributed over that amount of objects.
Si un quantificateur externe est présent, le sumti est distribué parmi ce nombre d'objects.
governor drains the integrator and controls the quantifier
le gouverneur draine l'intégrateur et commande le quantificateur
There is no quantifier {,n}. That's interpreted as a literal string.
Il n'existe pas de quantificateur {,n} - il est interprété comme une chaîne.
The second contribution aims to improve quantifier reasoning inside SMT solvers.
La seconde contribution permet d'améliorer les capacités de raisonnement des solveurs SMT pour les quantificateurs.
See also: