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


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
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 ]



Version du 27 janvier 2024 à 22:17

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