英语词汇“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.

单词	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
随便看	θ113922 θ113923 θ113924 θ113925 θ113926 θ113927 θ113928 θ113929 θ11393 θ113930 θ113931 θ113932 θ113933 θ113934 θ113935 θ113936 θ113937 θ113938 θ113939 θ11394 θ113940 θ113941 θ113942 θ113943 θ113944

> as lemmas