décidable

Voir aussi : decidable

Français

De décider avec le suffixe adjectival -able.

décidable \de.si.dabl\ masculin et féminin identiques

(Mathématiques) Dont on peut décider l’existence, les propriétés.
- 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.
(Informatique) Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.

Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.