- 博客(2)
- 资源 (17)
- 收藏
- 关注
转载 Programmer Competency Matrix
Programmer Competency Matrix(原文章请点击这里) Note that the knowledge for each level is cumulative; being at level n implies that you also know everything from the levels lower than n. Computer Sci
2012-06-02 12:52:09 1240
原创 SICP Exercise 4.15
这是图灵在他的论文中提到的停机定理: 证明:我们不可能写出一个过程halts?,使它能正确的对任何过程p和p的参数a,判断出p对a是否终止。 证明思路:假设我们能写出这样的过程halts?,然后我们去构造一个过程,使得其结果与我们的假设矛盾。下面就是图灵构造的能够引出矛盾的过程: 1 (define (run-forever) (run-forever)) 2 (define (try p)
2012-06-02 11:16:08 1283 2
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
2012-06-25
高德纳论文选--knuth
2011-04-10
吉林大学《可计算性与计算复杂性》 笔记
2011-04-10
Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
2011-03-09
The Annotated Turing
2010-12-13
Apress.Scripting.Intelligence.Web.3.0.Information.Gathering.and.Processing.Jul.2009.pdf
2010-08-04
Algorithms of the Intelligent Web
2010-07-31
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人