单词 | decision procedure |
释义 | > as lemmasdecision procedure decision procedure n. Logic and Mathematics an algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced from the axioms of that system. ΘΚΠ 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 1936 Jrnl. Symbolic Logic 1 111 A decision procedure applicable to Z1 & Z3 in isolation may not be applicable in the presence of Z2 & Z4. 1983 P. N. Johnson-Laird Mental Models ii. 28 The ideal in any logic is a decision procedure that for any inference reveals after a finite number of steps that the inference is valid or invalid. 2011 E. K. Blum in E. K. Blum & A. V. Aho Computer Sci. iii. 47 He had to be careful that the restrictions would not limit the class of decision procedures. < as lemmas |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。