« Formule bien formée » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵↵↵↵ » par «   »)
 
(2 versions intermédiaires par le même utilisateur non affichées)
Ligne 15 : Ligne 15 :




<small>
==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 ]
[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 ]


Ligne 22 : Ligne 22 :
[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:Publication]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]

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

Source : TERMIUM Plus

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary

Contributeurs: Isaline Hodecent, wiki