随笔分类 - 计算理论

计算理论图灵机图灵归约 Oracle

Kolmogorov复杂性

摘要：如果s的描述，d(s)，长度最小，即使用最少的bit数,即称d(s)为s的最小描述。因此，d(s)的长度(即，描述中的bit数)即为s的Kolmogorov复杂性，记为K(s). 阅读全文

posted @ 2014-06-27 18:24 MLNLP 阅读(5323) 评论(0) 推荐(0)

哥德尔，图灵和康托尔 part 2 停机问题

摘要：学习计算理论和lambda calculus之前很好的介绍文章。阅读全文

posted @ 2014-06-07 10:22 MLNLP 阅读(650) 评论(0) 推荐(0)

哥德尔，图灵和康托尔 part 1 哥德尔编号

摘要：Lambda Calculus和图灵机理论的入门文章，能在学习以上两个主题前建立起基本的数学概念。阅读全文

posted @ 2014-06-07 04:36 MLNLP 阅读(1900) 评论(0) 推荐(1)

导航