Advertising
Register for free: access more results and features
decidable
Definition
Translation of "decidable" in Russian
Definition NEW
If the question is decidable, a search of all proofs will prove it or disprove it.
Если вопрос разрешимый, поиск всех доказательств докажет или опровергнет его.
"Since a precise mathematical definition of the term effectively calculable (effectively decidable) has been wanting, we can take this thesis... as a definition of it..."
«Поскольку точное математическое определение термина, эффективно вычисляемый (эффективно разрешимый), было бы желательным, мы можем принять этот тезис... как определение этого термина...»
With enough research, the question became decidable, yielding a definitive answer.
С достаточным количеством исследований вопрос становился разрешимым, давая окончательный ответ.
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.
Комитет согласился, что эта проблема наконец-то разрешима и её можно скоро урегулировать.
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.
Никакая из упомянутых выше пропозициональных систем М. л. не имеет конечной адекватной матрицы, но каждая из этих систем финитно аппроксимируема и поэтому разрешима.
In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether a given number belongs to the set.
В теории исчисляемости ряд натуральных чисел называют рекурсивным, вычислимым или разрешимым, если есть алгоритм, который заканчивается после конечного количества времени и правильно решает, принадлежит ли данное число набору.
And thirdly, was mathematics decidable?
И, в-третьих, является ли математика разрешимой?
Given that some mathematical statements are undecidable, is there a program, the "decidability program," that can tell whether any mathematical statement is decidable, even without deciding whether it is true or false?
Учитывая, что некоторые математические утверждения неразрешимы, существует ли программа, «программа разрешимости», которая может определить, является ли любое математическое утверждение разрешимым, даже не решая, является ли оно истинным или ложным?
The other direction, that a fixed-parameter tractable problem is kernelizable and decidable is a bit more involved.
Доказательство в другом направлении, что фиксированно-параметрически разрешимая задача является параметрически редуцируемой и разрешимой, чуть более трудно.
Synonyms and analogies of "decidable" in English
Word & Expression of the day
Image of the day
Suggestions that contain decidable
Results: 73. Exact: 54. Elapsed time: 44 ms.
