« Formule booléenne quantifiée vraie » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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. | |||
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 10 : | Ligne 6 : | ||
'''Formule booléenne quantifiée vraie'''<small> féminin </small> | '''Formule booléenne quantifiée vraie'''<small> féminin </small> | ||
''' | '''Formule booléenne quantifiée''' <small> féminin </small> | ||
== Anglais == | == Anglais == | ||
| Ligne 23 : | Ligne 19 : | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 18 janvier 2021 à 15:20
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 féminin
Formule booléenne quantifiée féminin
Anglais
True quantified Boolean formula
Contributeurs: Claude Coulombe, wiki, Sihem Kouache
