décidable
- Domaines
-
- intelligence artificielle
- philosophiethéorie de la connaissance
- Dernière mise à jour
Définition :
Un problème est décidable, s'il existe un algorithme capable de résoudre n'importe laquelle de ses instances.
Note :
Une expression est décidable si l'on peut, dans une théorie déductive, la produire comme théorème ou la réfuter. Une théorie est décidable, si elle admet un algorithme de décision. Une théorie est semi-décidable, s'il existe une méthode permettant de reconnaître en un nombre fini d'étapes les théorèmes, mais pas nécessairement les non-théorèmes.
Terme privilégié :
- décidable adj.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- decidable