système formel
- Domaines
-
- intelligence artificielle
- philosophie théorie de la connaissance
- mathématiques
- Dernière mise à jour
Définition :
Ensemble de données purement abstrait qui décrit les règles de manipulation d'un ensemble de symboles traités de façon uniquement syntaxique c'est-à-dire sans considération sémantique.
Note :
Un système formel est quelquefois appelé une axiomatique, une théorie ou un ensemble de formules.
Terme privilégié :
- système formel n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- formal system