decidable
decidable · more decidable · most decidable
разрешимый
entscheidbar
Capable of being decidedCapable of being decided.
Значение
значений: 3Capable of being decided.
entscheidbar
разрешимыйrazrešimyj
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.
It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
entscheidbar
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.
Переводы
языков: 3Русский
По значениям 1
capable of being decided:
Deutsch
По значениям 1
capable of being decided:
Формы
more decidable, most decidable| Сравнительная степень | more decidable Урок |
|---|---|
| Превосходная степень | most decidable Урок |
правильный
Синонимы
синонимов: 2Антонимы
антонимов: 1Однокоренные
связанных слов: 2Связанныеdecidability
Производныеsemi-decidable
Уроки к слову
уроков: 2- A2Сравнительная степень — Потому что у него есть сравнительная степень
- A2Превосходная степень — Потому что у него есть превосходная степень