2014年6月10日

不要变老

摘要： # 不要变老## 马克飞象马马推荐了一个用markdown语法写东西的工具，叫做[马克飞象](http://maxiang.info/)。可能工具名字有个“马”字，所以他很喜欢。我用了一下，确实不错，很干净很漂亮。![latex](http://images.cnitblog.com/blog/50... 阅读全文

posted @ 2014-06-10 05:09 MLNLP 阅读(375) 评论(0) 推荐(0)

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)

导航