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)

导航