| 单词 | decision method |
| 释义 | > as lemmasdecision method decision method n. Logic and Mathematics = decision procedure n. ΘΚΠ the world > relative properties > number > mathematics > [noun] > mathematical enquiry > process of calculating > method or rule for rulea1387 canonc1400 backer1543 position1551 rule of falsehood1552 rule of three1562 method of exhaustions1685 sieve1803 sieve of Eratosthenes1803 algorithm1811 algorism1888 sieve1897 decision procedure1936 pivotal condensation1939 decision method1940 1940 Jrnl. Philos. 37 681 Since there is an effective method for deciding whether a given finite matrix is an L-normal L-matrix, we are thus provided with a decision-method. 1976 Ann. Math. Logic 10 148 This yields a decision method which is not efficient in the general case but is effective for certain interesting special cases. 2009 J. von Plato in L. Haaparanta Devel. Mod. Logic xi. 499 The third big question, the existence of a decision method that answers if a formula is a theorem of logic or not, was cleared in axiomatic studies by 1936. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。