Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
universal quantifier
Definitie
Vertaling van "universal quantifier" in Frans
Definitie NEW
It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.
Elle est généralement considérée comme une règle de quantification pour le quantificateur universel, mais elle peut également être énoncée en tant qu'axiome.
I analyze happens to as a domain vague necessity operator, i.e. a universal quantifier over worlds, whose restriction (the domain of worlds quantified over) is systematically vague.
J'analyse happens to comme un opérateur de nécessité à domaine vague, c'est-à-dire un quantificateur universel sur les mondes dont la restriction (le domaine de mondes sur lequel opère la quantification) est systématiquement vague.
Cases where the universal quantifier tout is floated, for instance, are noted here, but not in an exhaustive way.
C'est ici que, par exemple, l'on trouve l'information sur les occurrences de tout flottant, mais pas de manière exhaustive.
Universal quantifier, for all
Quantificateur universel, quel que soit
The programs are written in CLP to which we add the universal quantifier (CLP forall).
Les programmes sont écrits dans le langage CLP auquel on a ajouté la quantification universelle (CLP forall).
The indefinite article 'a' is normally understood as an existential quantifier, but the most natural reading of the donkey sentence requires it to be understood as a nested universal quantifier.
De surcroît, l'article indéfini un (âne) est normalement considéré comme un quantificateur existentiel, mais la lecture la plus naturelle de la « phrase donkey » oblige à le considérer comme un quantificateur universel enchâssé.
Andere resultaten
As individual cases do not involve universal quantifiers, they cannot contradict each other.
Les cas individuels n'impliquant pas de quantificateurs universels, ils ne peuvent pas se contredire entre eux.
Just like TRC, DRC can also be written using existential and universal quantifiers.
Tout comme TRC, la RDC peut également être écrit en utilisant des quantificateurs existentiels et universels.
Indefinites must sometimes be interpreted as existential quantifiers, and other times as universal quantifiers, without any apparent regularity.
Les indéfinis doivent dans certains cas y être interprétés comme des quantificateurs existentiels, et dans d'autres cas comme des quantificateurs universels, sans que l'on puisse apparemment définir de règle.
Two special operations on constraints are considered, called existential and universal projections, because of their similarity with existential and universal quantifiers in a predicate calculus.
Sont ici considérées deux opérations spéciales sur les contraintes, appelés projection existentielle et projection universelle en raison de leur similitude avec les quantificateurs existentiel et universel dans un calcul prédicatif.
With other déterminers (definite and indefinite article, demonstrative adjective, universal quantifiers tous les and chaque), fois is a temporal name on the way to standardisation.
Avec les autres déterminants (article défini et indéfini, adjectif démonstratif, quantificateurs universels tous les et chaque), fois est un nom temporel qui tend à se standardiser.
Clearly this is rarely the intentional meaning. Indefinites must sometimes be interpreted as existential quantifiers, and other times as universal quantifiers, without any apparent regularity.
Les indéfinis doivent dans certains cas y être interprétés comme des quantificateurs existentiels, et dans d'autres cas comme des quantificateurs universels, sans que l'on puisse apparemment définir de règle.
SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic.
SETL permet d'exprimer des expressions booléennes quantifiées construites en utilisant le calcul des prédicats du premier ordre, les quantificateurs universels et quantificateurs existentiels.
Synoniemen voor universal quantifier in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 6. Verstreken tijd: 38 ms.
