2014年6月7日

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

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

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

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

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

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

导航