« Forme prénexe » : différence entre les versions
m (Arielle H a déplacé la page Forme normale prénexe vers Forme prénexe) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Caractéristique d'une formule bien formée constituée d'une chaîne de quantificateurs non négatifs appelée préfixe, suivie d'une formule sans quantificateur appelée matrice. | |||
== Français == | == Français == | ||
'''forme prénexe''' | '''forme prénexe''' | ||
'''forme normale prénexe''' | |||
== Anglais == | == Anglais == | ||
'''prenex form''' | |||
'''prenex normal form''' | '''prenex normal form''' | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17015901 Source : Le grand dictionnaire terminologique ] | |||
[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 ] | [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:intelligence artificielle]] | |||
[[Catégorie: | [[Catégorie:Publication]] | ||
Version du 21 avril 2021 à 12:23
Définition
Caractéristique d'une formule bien formée constituée d'une chaîne de quantificateurs non négatifs appelée préfixe, suivie d'une formule sans quantificateur appelée matrice.
Français
forme prénexe
forme normale prénexe
Anglais
prenex form
prenex normal form
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
