décidabilité
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Propriété de certains systèmes formels ou les théorèmes et les non-théorèmes sont repérables algorithmiquement.
Note :
La logique des propositions est décidable.
Terme privilégié :
- décidabilité n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- decidability