英语词汇“decision problem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典-新都网

> as lemmas

decision problem

decision problem n. [after German Entscheidungsproblem Entscheidungsproblem n.] Mathematics and Logic a problem in which the construction of a decision procedure is sought; spec. the problem of finding a decision procedure capable of determining whether or not any given statement can be deduced from the axioms of a logical system; cf. decision procedure n., Entscheidungsproblem n.

ΚΠ

1934 Math. Gaz. 18 339 Besides investigations on consistency, a main problem of the theory is the decision-problem (Entscheidungsproblem).

1983 Proc. Amer. Math. Soc. 89 428 For each of the decision problems discussed above, there is naturally a version at dimension n.

2006 New Yorker (Nexis) 6 Feb. 84 Turing was able to prove that no computing machine of the kind he envisaged could solve the decision problem.

extracted from decisionn.

as lemmas

单词	decision problem
释义	> as lemmas decision problem decision problem n. [after German Entscheidungsproblem Entscheidungsproblem n.] Mathematics and Logic a problem in which the construction of a decision procedure is sought; spec. the problem of finding a decision procedure capable of determining whether or not any given statement can be deduced from the axioms of a logical system; cf. decision procedure n., Entscheidungsproblem n. ΚΠ 1934 Math. Gaz. 18 339 Besides investigations on consistency, a main problem of the theory is the decision-problem (Entscheidungsproblem). 1983 Proc. Amer. Math. Soc. 89 428 For each of the decision problems discussed above, there is naturally a version at dimension n. 2006 New Yorker (Nexis) 6 Feb. 84 Turing was able to prove that no computing machine of the kind he envisaged could solve the decision problem. extracted from decisionn. < as lemmas
随便看	shambo leather shambo skin shambolic shambrier shambrough shamdamn shamdead shame shame betide ! shame betide etc! shame betide take! shame culture shame fall shame is past the shed of hair shame is past the shed of head shame is past the shed of his hair shame is past the shed of his head shame of the world shame to or on! shame to say shame! shame-burnt shame-closing shame-cloth shame-eaten