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

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.