« Forme prénexe » : différence entre les versions
m (Arielle H a déplacé la page Forme normale prénexe vers Forme prénexe) |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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''' | ||
==Sources== | |||
[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 : Termium Plus ] | |||
[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 : | |||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 29 janvier 2024 à 13:40
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
Sources
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
