décidabilité

Français

Étymologie

(XIXe siècle) De décidable avec le suffixe -ité.

Nom commun

SingulierPluriel
décidabilité décidabilités
\de.si.da.bi.li.te\

décidabilité \de.si.da.bi.li.te\ féminin

  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

Apparentés étymologiques

Traductions

Prononciation

Voir aussi