decidabilitate
Parte de vorbire: s.f.
Etimologie: (fr. décidabilité)
Etimologie: (fr. décidabilité)
1. caracterul unui sistem ipotetico-deductiv contradictoriu și complet.
2. (logică) caracterul a ceea ce este decidabil, demonstrabil.
3. (inf.) caracterul unei probleme care poate fi rezolvată de un algoritm dat după un număr finit de pași.
4. (anton.) indecidabilitate.