-
1 возможность принятия решения
Русско-английский словарь по электронике > возможность принятия решения
-
2 возможность принятия решения
Русско-английский словарь по радиоэлектронике > возможность принятия решения
-
3 разрешимость
Русско-английский словарь по вычислительной технике и программированию > разрешимость
-
4 разрешимость
Русско-английский словарь по информационным технологиям > разрешимость
-
5 проблема разрешимости
decidability problem матем., problem of solvabilityРусско-английский научно-технический словарь Масловского > проблема разрешимости
-
6 разрешимость
decidability, resolvability, solubility мат., solvabilityРусско-английский научно-технический словарь Масловского > разрешимость
-
7 разрешимость
v. solvability, decidability; проблема разрешимости, decision problem, decidability problemРусско-английский словарь математических терминов > разрешимость
-
8 разрешимость
v. solvability, decidability;
проблема разрешимости - decision problem, decidability problem -
9 разрешимость
-
10 проблема разрешимости
1) decidability problem
2) decision problemРусско-английский технический словарь > проблема разрешимости
-
11 разрешимость
1) decidability
2) resolvability
3) solubility -
12 вероятностная разрешимость
Mathematics: probabilistic decidabilityУниверсальный русско-английский словарь > вероятностная разрешимость
-
13 линейная разрешимость
Mathematics: linear decidabilityУниверсальный русско-английский словарь > линейная разрешимость
-
14 общая разрешимость
Mathematics: general decidabilityУниверсальный русско-английский словарь > общая разрешимость
-
15 полная разрешимость
Mathematics: complete decidabilityУниверсальный русско-английский словарь > полная разрешимость
-
16 предсказуемость
-
17 проблема разрешимости
1) Mathematics: decidability problem, decision problem, existence problem, problem of solvability2) Information technology: entscheidungsproblemУниверсальный русско-английский словарь > проблема разрешимости
-
18 разрешимость
1) General subject: resolvability, solubility, solvability2) Mathematics: tractability3) Information technology: decidability, solvalibility4) Makarov: resolvability (задачи), solubility (проблемы и т.п.) -
19 степень разрешимости
Mathematics: degree of decidability, degree of solvabilityУниверсальный русско-английский словарь > степень разрешимости
-
20 формальная разрешимость
Mathematics: formal decidabilityУниверсальный русско-английский словарь > формальная разрешимость
- 1
- 2
См. также в других словарях:
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
decidability — noun see decide … New Collegiate Dictionary
decidability — See decide. * * * … Universalium
decidability — noun the state or condition of being decidable. Ant: undecidability … Wiktionary
decidability — See decision problem … Philosophy dictionary
decidability — … Useful english dictionary
decidable — decidability, n. /di suy deuh beuhl/, adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable. [1585 95;… … Universalium
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
Tarski's exponential function problem — In model theory, Tarski s exponential function problem asks whether the usual theory of the real numbers together with the exponential function is decidable. Tarski had previously shown that the theory of the real numbers (without the exponential … Wikipedia