Translation of decidable into Russian
Adjective
computer science
- The problem is decidable by the algorithm.Эта задача разрешима алгоритмом.
logic
- In this theory, the statement is decidable.В этой теории утверждение является разрешимым.
Synonyms and analogies of decidable in English
Examples of decidable in a sentence
This class of problems is decidable using the new method. The problem is decidable within this logical framework. Decidable propositions simplify the proof process.
Translations of "decidable" in Context ordered by category and frequency
If the question is decidable, a search of all proofs will prove it or disprove it.
Если вопрос разрешимый, поиск всех доказательств докажет или опровергнет его.
In mathematics, a problem is decidable if there is a clear method to solve it.
В математике задача разрешима, если есть ясный метод её решения.
The kernel is then solved by the algorithm that proves that the problem is decidable.
Затем ядро решается алгоритмом, который проверяет, что задача разрешима.
The committee agreed that the matter was finally decidable and could be settled soon.
Комитет согласился, что эта проблема наконец-то разрешима и её можно скоро урегулировать.
decidable: Examples and translations in context
With enough research, the question became decidable, yielding a definitive answer.
С достаточным количеством исследований вопрос становился разрешимым, давая окончательный ответ.
In the logical proof, every statement was found to be decidable and clear.
В логическом доказательстве каждое утверждение было найдено ясным и разрешимым.
The issue lay in proving that mathematics was complete, consistent, and decidable.
Проблема заключалась в доказательстве того, что математика была полной, непротиворечивой и разрешимой.
Haken originally used this algorithm to show that unknotting is decidable, but did not analyze its complexity in more detail.
Хакен изначально использовал этот алгоритм, чтобы показать, что задача развязывания разрешима, но он не анализировал вычислительную сложность алгоритма детально.
None of the above-mentioned propositional systems of modal logic has a finite adequate matrix, but each of them is finitely approximable and therefore decidable.
Никакая из упомянутых выше пропозициональных систем М. л. не имеет конечной адекватной матрицы, но каждая из этих систем финитно аппроксимируема и поэтому разрешима.
Question: Does the problem decidable such recognition within the Customs Union?
Вопрос: Разрешима ли проблема такого признания в рамках Таможенного Союза?
See also: