« Formule bien formée » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| (5 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | |||
Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage. | |||
== | == Français == | ||
'''formule bien formée''' | |||
'''FBF''' | |||
'''formule correcte''' | |||
== Anglais == | == Anglais == | ||
'''well-formed formula''' | '''well-formed formula''' | ||
''' | '''WFF''' | ||
==Sources== | |||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=WELL-FORMED+FORMULA&codom2nd_wet=1#resultrecs Source : TERMIUM Plus ] | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8396998 Source : Le grand dictionnaire terminologique ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 29 janvier 2024 à 12:19
Définition
Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.
Français
formule bien formée
FBF
formule correcte
Anglais
well-formed formula
WFF
Sources
Contributeurs: Isaline Hodecent, wiki
