Sõna decidable tõlge inglise-soome
Sõna decidable tähendused
- capable of being decided
- 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: .
[http://plato.stanford.edu/entries/logic-intuitionistic/]
Näited
- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
Populaarsed tõlked
Parimad sõnaraamatud