« Formule booléenne quantifiée vraie » : différence entre les versions

Version du 11 juin 2019 à 10:26

Domaine

Coulombe

Définition

En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP.

Français

Formule booléenne quantifiée vraie

formule booléenne quantifiée

Anglais

True quantified Boolean formula

Source: https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e

source : Claude Coulombe, Datafranca.org

@@ Ligne 1 : / Ligne 1 : @@
 == Domaine ==
-[[Category:Vocabulary]]
+[[Category:Vocabulary2]]
 [[Category:Coulombe]]Coulombe<br/>
 == Définition ==
+En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP.
@@ Ligne 11 : / Ligne 11 : @@
 == Français ==
-<poll>
+'''Formule booléenne quantifiée vraie'''
-Choisissez parmi ces termes proposés :
-formule booléenne quantifiée
+'''formule booléenne quantifiée'''
-Formule booléenne quantifiée vraie
-</poll>
-<h4>Discussion:</h4>
-Pour le moment, le terme privilégié est «formule booléenne quantifiée vraie».
-<br />
-En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP.
-Source: https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e
 == Anglais ==
-=== True quantified Boolean formula ===
+'''True quantified Boolean formula '''
+Source: https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e
-In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables). If such a formula evaluates to true, then that formula is in the language TQBF. It is also known as QSAT (Quantified SAT).
+[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>