« Forme prénexe » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 16 : | Ligne 16 : | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17015901 Source : Le grand dictionnaire terminologique ] | [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 : | [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 : Termium Plus ] | ||
[[Catégorie:intelligence artificielle]] | [[Catégorie:intelligence artificielle]] | ||
[[Catégorie:Publication]] | [[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
