Computability 2: Gödel Number
摘要：
可计算理论学习笔记：Gödel 编码 与 s-m-n 定理 阅读全文
posted @ 2015-04-11 21:19 DevinZ 阅读(281) 评论(0) 推荐(0) 编辑
Computability 1: Computational Models
摘要：
可计算理论学习笔记：三种计算模型以及丘奇论题 阅读全文
posted @ 2015-04-11 20:31 DevinZ 阅读(260) 评论(0) 推荐(0) 编辑
