单词 | Decidable |
释义 | DecidableA ``theory'' in Logic is decidable if there is an Algorithm that will decide on input
Kemeny, J. G. ``Undecidable Problems of Elementary Number Theory.'' Math. Ann. 135, 160-169, 1958. |
随便看 |
|
数学辞典收录了8975条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。