décidabilité
Nom communFéminin\de.si.da.bi.li.te\
Étymologie De décidable avec le suffixe -ité.
1
Mathématiques État de ce qui est décidable.
2
Informatique État d’un problème résolvable par un algorithme donné avec un nombre fini d’étapes.
- La première est celle de la décidabilité logique ou théorique : ce problème, est-il soluble ?Nicolas Flasque, Helen Kassel, Franck Lepoivre, Boris Velikson, Exercices et problèmes d’algorithmique, 2010
- Antonymes
- indécidabilité
- Apparentés
- décidable, décidé, décidément, décider, décideur, décideuse, décision, décisionnel, indécidabilité, indécidable, indécis