Définition de décidable | Babel Free
/\de.si.dabl\/Définitions
- Dont on peut décider l’existence, les propriétés.
- Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.
Exemples
“Une proposition, un énoncé, sont dits décidables dans une théorie axiomatique, si on peut les démontrer ou en démontrer la négation dans le cadre de cette théorie.”
Niveau CECR
B2
Intermédiaire avancé
Ce mot fait partie du vocabulaire CECR B2 — niveau intermédiaire avancé.
Ce mot fait partie du vocabulaire CECR B2 — niveau intermédiaire avancé.