décidable

Définition

Décidable : terme mathématique désignant un problème dont on peut déterminer l'existence ou non, ainsi que ses propriétés, grâce à une procédure algorithmique finie.

Exemple

• "Le problème de la résolution du système linéaire est decidable."

Synonymes