« Forme prénexe » : différence entre les versions

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

Source : Le grand dictionnaire terminologique

Source : Termium Plus

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+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 ==
-xxxxxxx
+'''forme prénexe'''
+'''forme normale prénexe'''
 == Anglais ==
+'''prenex form'''
 '''prenex normal form'''
-a representation of formulas in first-order predicate calculus, in which all quantifiers are at the front of the formula.
+==Sources==
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17015901  Source : Le grand dictionnaire terminologique ]
-<small>
+[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.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]