计算理论

分类包含 21 篇文章

子分类：计算理论小作品 | 图灵机 | 形式方法 | 自动机 | 计算复杂性理论 | 计算模型

递归可枚举集合

邱奇－图灵论题

可计算性

递归集合

计算理论

编号 (可计算性理论)

波斯特对应问题

柯氏复杂性

可计算性理论

递归