« Forme prénexe » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Arielle H a déplacé la page Prenex normal form vers Forme normale prénexe) |
(Aucune différence)
| |
Version du 3 avril 2021 à 11:11
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
prenex normal form
a representation of formulas in first-order predicate calculus, in which all quantifiers are at the front of the formula.
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
