Définitions›décidable
décidable
adjectif/de.si.dabl/
- MathématiquesDont 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.
- InformatiqueQue l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.
SynonymesSynonymes de décidable5 mots de sens proche
Dictionnaire de rimesRimes avec décidablerimes riches, suffisantes et pauvres
Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.