Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
quantification over
Vertaling van "quantification over" in Frans
quantification sur
quantifier sur
Therefore quantification over infinite domains is not considered meaningful.
Par conséquent, la quantification sur des domaines infinis n'est pas considérée comme significative.
The first-order logic of graphs concerns sentences in which the variables and predicates concern individual vertices and edges of a graph, while monadic second-order graph logic allows quantification over sets of vertices or edges.
La logique du premier ordre des graphes concerne les propositions dans lesquelles les variables et les prédicats concernent les sommets et les arêtes individuels d'un graphe, tandis que la logique monadique de graphe du second ordre permet une quantification sur des ensembles de sommets ou d'arêtes.
We also study under which condition the quantification over the the underlying structure, the natural domain, and quantification over the finite model, the active domain, give the same expressive power.
Nous étudions aussi à quelle condition quantifier sur le modèle fini, le domaine actif, ou quantifier sur le domaine de la structure sous-jacente, le domaine naturel, donnent le même pouvoir d'expression.
Formally it is precisely in allowing quantification over class variables a, β, etc., that we assume a range of values for these variables to refer to.
Formellement, c'est précisément en autorisant la quantification sur les variables de classe a, β, etc, que nous supposons une plage de valeurs auxquelles ces variables se réfèrent.
Unlike Peano arithmetic, second-order arithmetic allows quantification over sets of natural numbers as well as numbers themselves.
Contrairement à l'arithmétique de Peano, l'arithmétique de second ordre permet la quantification sur des ensembles d'entiers naturels ainsi que sur des nombres eux-mêmes.
A common view of generics is that they express universal quantification over normal individuals.
Une conception courante des génériques est qu'ils expriment une quantification universelle sur des individus normaux.
Temporal relations by quantification over the criteria, e.g. a property may require that certain criteria "must be held for all messages in the trace".
Des relations temporelles sont définies entre ces critères, par exemple, une propriété peut exiger que certains critères "doit être reconnu pour tous les messages dans la trace".
Assuming a presentation of first-order logic without function symbols, the operator models existential quantification over variable in formula while the operator models the equality of variables and.
En supposant une présentation de la logique du premier ordre sans symboles de fonction, l'opérateur modélise quantification existentielle sur la variable dans la formule tandis que l'opérateur l'égalité des modèles des variables et.
Synoniemen voor quantification over in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 30 ms.
