Thesaurus
A really fast thesaurus... with lots of synonyms.
decidable (0 synonym found)
We don't have any synonyms for decidable yet.
Think decidable belongs in the thesaurus? Recommend it and we'll take a look.
Definition of decidable:
(adj) :
capable of being decided.
(adj) :
(computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
(adj) :
(logic) in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: P∨¬P.
Definition of decidable:
(adj) :
capable of being decided.
(adj) :
(computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
(adj) :
(logic) in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: P∨¬P.
A make the world a better place giveback project.
Wiktionary content available under the GNU FDL
Charlotte Website Design by Next Wave Services