Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
existential quantifier
Definitie
Vertaling van "existential quantifier" in Frans
Definitie NEW
Moreover, there is but one existential quantifier, in axiom 3.
De plus, il n'y a qu'un quantificateur existentiel, dans l'axiome 3.
For example, the existential quantifier (Q=∃) defines the union of a family of sets
Par exemple, le quantificateur existentiel (Q = ∃) définit l'union d'une famille d'ensembles
Existential quantifier, there is at least one
Quantificateur existentiel, il existe au moins un
The fact that U {\displaystyle U} is an ultrafilter (and not just a filter) is used in the negation clause, and the axiom of choice is needed at the existential quantifier step.
Le fait que U soit un ultrafiltre (et pas seulement un filtre) est utilisé pour traiter le cas des négations, et l'axiome du choix est nécessaire pour celui de l'introduction d'un quantificateur existentiel.
The "quantifying in" idiom captures the notion that the variable-binding operator (for example, the existential quantifier 'something') reaches into, so to speak, the non-extensional context to bind the variable occurring within its scope.
Parler de "quantifying in" rend compte de la notion selon laquelle l'opérateur qui lie la variable (par exemple le quantificateur existentiel « quelque chose ») atteint, pour ainsi dire, le contexte non-extensionnel pour lier la variable qui se trouve dans sa portée.
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é.
The fact that U {\displaystyle U} is an ultrafilter (and not just a filter) is used in the negation clause, and the axiom of choice is needed at the existential quantifier step.
Le fait que U soit un ultrafiltre (et pas seulement un filtre) est utilisé pour traiter le cas des négations, et l'axiome du choix est nécessaire pour celui de l'introduction d'un quantificateur existentiel.
Andere resultaten
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.
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.
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.
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.
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.
This extension allows more freedom in the choice of the quantifiers (existential or universal) associated to the coefficients, thus handling a wider variety of problems.
L'extension proposée prend en compte la possibilité de choisir le quanticateur (existentiel ou universel) associé à certains coefficients du système.
Synoniemen voor existential quantifier in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 7. Verstreken tijd: 34 ms.
