-
English
-
Russian
-
English
-
Russian
Decidability
Translation decidability into russian
decidability
Noun
The decidability of a problem in computer science is crucial for determining if an algorithm can solve it.
Разрешимость задачи в информатике имеет решающее значение для определения, может ли алгоритм её решить.
Definitions
decidability
Noun
The quality or state of being decidable, especially in the context of a problem or question that can be definitively resolved by a finite procedure or algorithm.
The decidability of the problem was confirmed when the researchers developed an algorithm that could solve it in finite steps.
Idioms and phrases
decidability problem
The decidability problem for this logic is open.
проблема разрешимости
Проблема разрешимости для этой логики остаётся открытой.
decidability question
The decidability question has attracted much attention in theoretical computer science.
вопрос разрешимости
Вопрос разрешимости привлёк большое внимание в теоретической информатике.
decidability of (something)
Researchers are studying the decidability of certain mathematical theories.
разрешимость (чего-либо)
Исследователи изучают разрешимость некоторых математических теорий.
prove the decidability
It is difficult to prove the decidability of this language.
доказать разрешимость
Трудно доказать разрешимость этого языка.
decidability result
This paper presents a new decidability result for modal logics.
результат о разрешимости
В этой статье представлен новый результат о разрешимости для модальных логик.
Examples
Even if trustworthiness doesn’t require certainty, it is not the same thing as quick and easy decidability.
Но даже если надёжность не требует уверенности, она не то же самое, что быстрая и простая разрешимость.
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?
Учитывая, что некоторые математические утверждения неразрешимы, существует ли программа, «программа разрешимости», которая может определить, является ли любое математическое утверждение разрешимым, даже не решая, является ли оно истинным или ложным?
Many decidability problems did not yield a solution for a long time: subsequently it turned out that the difficulty of solving them is of fundamental nature.
Многие массовые проблемы долгое время не поддавались решению; впоследствии оказалось, что трудность их решения имеет принципиальный характер.
This theorem makes it possible to transfer a property (for example, completeness or decidability) from an extension of the system S4 (or G) to an intermediate logic.
Эта теорема позволяет переносить нек-рые свойства (напр., полноту или разрешимость) с расширений системы S4 (или G) на промежуточные логики.
That left the third of Hilbert’s questions, that of decidability or, as Hilbert called it, the Entscheidungsproblem or “decision problem.”
Оставался третий вопрос Гильберта – вопрос о разрешимости, или, как Гильберт назвал его, Entscheidungsproblem, “проблема разрешения”.