出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 算法论 |
| 释义 | 算法论 算法论 亦称“能行性理论”。对一类问题(函数)的有穷地机械地判定(计算)过程称为对这类问题(函数)的算法。算法应满足如下要求:(1)只用有穷多条指令描绘算法,指令可以由人或机器机械地执行;(2)如果算法用于某初始材料上有结果,那么执行算法有穷步后会有结果;(3)如果算法用于某初始材料上没有结果,那么算法的执行过程永不停止,或得不出结果。算法论是描绘和处理上述直观算法的数学理论。迄今已建立了不少等价的理论,如递归论、图灵机和递归算法论。算法论用于其他数学分支后已解决了一些难题,如群论中字的等价性问题的不可判定性;希尔伯特第十问题的算法不可解性。此外在计算机科学中也有重要应用。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。