« Forme prénexe » : différence entre les versions
m (Arielle H a déplacé la page Prenex normal form vers Forme normale prénexe) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression. | |||
== Français == | == Français == | ||
'''forme prénexe''' | |||
== Anglais == | == Anglais == | ||
'''prenex normal form''' | '''prenex normal form''' | ||
<small> | <small> | ||
[https://www. | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Prenex+normal+form&index=alt&codom2nd_wet=1#resultrecs Source : TermiumPlus ] | ||
[[Catégorie:Révision]] | |||
Version du 3 avril 2021 à 12:17
Définition
Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression.
Français
forme prénexe
Anglais
prenex normal form
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
