« Formule booléenne quantifiée vraie » : différence entre les versions
m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (12 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
En théorie de la complexité | En théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour ''quantified binary formula'' en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées. | ||
== Français == | == Français == | ||
| Ligne 14 : | Ligne 6 : | ||
'''Formule booléenne quantifiée vraie''' | '''Formule booléenne quantifiée vraie''' | ||
''' | '''Formule booléenne quantifiée''' | ||
== Anglais == | == Anglais == | ||
| Ligne 23 : | Ligne 13 : | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e Source : Wikipedia ] | |||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | [[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 27 janvier 2024 à 21:56
Définition
En théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées.
Français
Formule booléenne quantifiée vraie
Formule booléenne quantifiée
Anglais
True quantified Boolean formula
Sources
Contributeurs: Claude Coulombe, wiki, Sihem Kouache
