计算理论 - 随笔分类 - DevinZ

摘要：可计算理论学习笔记：作业中的几个证明题阅读全文

posted @ 2015-06-25 14:02 DevinZ 阅读(191) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：归约性与NP问题阅读全文

posted @ 2015-06-07 09:56 DevinZ 阅读(436) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：决定性问题与递归集阅读全文

posted @ 2015-05-16 13:25 DevinZ 阅读(501) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：决定性问题与递归集阅读全文

posted @ 2015-04-22 23:19 DevinZ 阅读(283) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：Universal Functions 的可计算性阅读全文

posted @ 2015-04-15 21:33 DevinZ 阅读(346) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：Gödel 编码与 s-m-n 定理阅读全文

posted @ 2015-04-11 21:19 DevinZ 阅读(318) 评论(0) 推荐(0)

摘要：可计算理论学习笔记：三种计算模型以及丘奇论题阅读全文

posted @ 2015-04-11 20:31 DevinZ 阅读(289) 评论(0) 推荐(0)

随笔分类 - 计算理论