Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Satisfiable
Definitie
Vertaling van "Satisfiable" in Frans
Definitie
satisfiabilité
If that is the case, the circuit is called satisfiable.
Si tel est le cas, le circuit est dit satisfiable.
Our technology can make you satisfiable.
Notre technologie peut faire vous satisfiable.
An expression is satisfiable if there is some assignment of truth values to the variables that makes the entire expression true.
Une expression est satisfaisable s'il existe une affectation des variables qui rend l'ensemble de l'expression vraie.
In model theory, an atomic formula is satisfiable if there is a collection of elements of a structure that render the formula true.
Dans la théories des modèles, une formule atomique est satisfaisable s'il existe des éléments d'une structure qui rendent la formule vraie.
After sells service In time, High efficiency, Satisfiable Why Choose Us?
Après service de ventes à temps, rendement élevé, Satisfiable Pourquoi choisissez-nous ?
Consequently, if a formula is satisfiable then our approach will eventually lead to the detection of a solution.
Par conséquent, si une formule est satisfiable alors notre approche mènera éventuellement à la détection d'une solution.
The circuit on the left is satisfiable but the circuit on the right is not.
Le circuit de gauche est satisfiable mais pas le circuit de droite.
It is constructive in the sense that it is possible to extract a model from the obtained tableau, whenever the root formula is indeed satisfiable.
Elle est constructive dans le sens qu'il est possible d'extraire un modèle depuis le tableau obtenu, lorsque la formule de départ est satisfiable.
If one of these two tests returns that the smaller instance is satisfiable, continue solving that instance until a complete solution has been derived.
Si l'un de ces tests renvoie qu'une de ces petites instances est satisfiable, on continue à résoudre cette instance jusqu'à ce qu'une solution complète en soit déduite.
The formula obtained by this transformation is satisfiable if and only if the original formula is.
Autrement dit, la formule initiale est satisfiable si et seulement si sa forme skolémisée l'est.
On the other hand, if B is satisfiable, then there is an accepting computation for M on input I that follows the steps indicated by the assignments to the variables.
D'un autre côté, si B est satisfaisable, alors il y a un calcul acceptable pour M avec l'entrée I qui suit les étapes indiquées par l'affectation des variables.
Removal of one of these sets of constraints gives a maximal satisfiable subset, in other words, a maximal subset of constraints satisfying the postcondition.
La suppression de l'un de ces ensembles de contraintes donne un sous-ensemble satisfiable maximal, en d'autres termes, un sous-ensemble maximal de contraintes satisfaisant la postcondition.
A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.
Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle) qui rend la formule vraie.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Satisfiable in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 42. Exact: 42. Verstreken tijd: 32 ms.
