约 746,000 个结果
时间不限
在新选项卡中打开链接
- 查看更多前往 Wikipedia 查看全部内容
可计算性理论 - 维基百科,自由的百科全书
在 计算机科学 中, 可计算性理论 (Computability theory)作为 计算理论 的一个分支,研究在不同的 计算模型 下哪些 算法 问题能够被解决。. 相对应的,计算理论的另一块主要内容, 计算复杂性理论 考虑一个问题怎样才能被 有效的 解决。. 展开
CC-BY-SA 许可证中的维基百科文本 递归论 - 维基百科,自由的百科全书
可计算性 - 维基百科,自由的百科全书
Computability theory - Wikipedia
可计算性理论 - 维基教科书,自由的教学读本
可计算性理论 - Wikiwand
可计算性理论 - Wikiwand / articles
可计算性理论 - 百度百科
网页可计算性理论,亦称算法理论或能行性理论,计算机科学的理论基础之一。 是研究计算的一般性质的数学理论。 可计算性理论通过建立计算的数学模型 [2] ,精确区分哪些是可计算的,哪些是不可计算的。
可计算性理论的理解 - 知乎 - 知乎专栏
网页可计算性理论. 本文为楼主阅读 西普塞所著的《计算理论导引 (第2版)》的可计算性理论部分 所做的笔记,主要定义哪些问题是可以用“算法”解决的,那些不可以,以及如何证明一个问题不能被“算法”解决。. 1.基础概念既然本 …
計算複雜性理論 - 维基百科,自由的百科全书