-
English
-
Russian
-
English
-
Russian
Разрешимость
Translation разрешимость into english
разрешимость
Noun
Разрешимость этой задачи вызывает сомнения.
The solvability of this problem is in doubt.
Разрешимость алгоритма была доказана.
The decidability of the algorithm was proven.
Definitions
разрешимость
Noun
Способность задачи или проблемы быть решённой, возможность нахождения решения.
Разрешимость математической задачи зависит от её условий и методов решения.
Idioms and phrases
разрешимость задачи
Разрешимость задачи зависит от выбранного метода.
solvability of a problem
The solvability of the problem depends on the chosen method.
разрешимость уравнения
Разрешимость уравнения была доказана математиком.
solvability of an equation
The solvability of the equation was proved by the mathematician.
разрешимость конфликта
Разрешимость конфликта обсуждалась на совещании.
resolvability of a conflict
The resolvability of the conflict was discussed at the meeting.
разрешимость вопроса
Разрешимость вопроса вызывает сомнения у экспертов.
resolvability of a question
The resolvability of the question raises doubts among experts.
разрешимость системы
Разрешимость системы проверяется с помощью специальных алгоритмов.
solvability of a system
The solvability of the system is checked with special algorithms.
Examples
Но даже если надёжность не требует уверенности, она не то же самое, что быстрая и простая разрешимость.
Even if trustworthiness doesn’t require certainty, it is not the same thing as quick and easy decidability.
Положительные граничные задачи для симметричных и симметризуемых систем первого порядка, фредгольмовость и однозначная разрешимость (1966–1969).
Positive boundary value problems for symmetric and symmetrizable first order systems, the Fredholm property and the unique solvability (1966–69).
Более конкретно, нас будет интересовать разрешимость систем линейных мин-плюс многочленов.
More specifically, we will be interested in solvability of systems of linear min-plus polynomials.
При CoL-подходе логические константы представляют операции над вычислительными задачами, формулы представляют сами задачи, а их "истина" рассматривается как алгоритмическая разрешимость.
In CoL, logical operators stand for operations on computational problems, formulas represent such problems, and their "truth" is seen as algorithmic solvability.
Однако математическая разрешимость мало что значит без подкрепляющих доказательств, полученных в ходе экспериментов.
But mathematical tractability means little without the corroborating evidence provided by experiments.