2015年4月11日

Computability 2: Gödel Number

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

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

Computability 1: Computational Models

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

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

导航