随笔分类 -  计算理论

Computational Theory
Computability 7: Exercises
摘要:可计算理论学习笔记:作业中的几个证明题 阅读全文

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

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

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

Computability 5: Decidability and R.E. Sets (II)
摘要:可计算理论学习笔记:决定性问题与递归集 阅读全文

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

Computability 4: Decidability and R.E. Sets (I)
摘要:可计算理论学习笔记:决定性问题与递归集 阅读全文

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

Computability 3: Universal Programs
摘要:可计算理论学习笔记:Universal Functions 的可计算性 阅读全文

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

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

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

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

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

导航