Aller au contenu

décidable

Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.
Voir aussi : decidable
De décider avec le suffixe adjectival -able.
Singulier Pluriel
Masculin
et féminin
décidable décidables
\de.si.dabl\

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

  1. (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.
  2. (Informatique) Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.

Apparentés étymologiques

[modifier le wikicode]

Prononciation

[modifier le wikicode]