- 博客(2)
- 收藏
- 关注
RSS订阅原创 转载几篇etone关于算法方面书的书评
几篇etone关于算法方面书的书评算法之美Algorithms的评论 ***** 这是本很新的书，06年末发行，07年才慢慢出现于人们的视野。我在08年初得知这本书，那会我还很奇怪：都什么年月了，怎么还有人写算法教材——这么“经典”的工作，不是上个世纪就被人做完了吗。 读了这本Algorithms，我才知道：这才是我心中的算
2008-03-19 09:03:00
959
原创 停机问题的定义和证明
停机问题停机问题（halting problem）是目前逻辑数学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可数的(countable) S 也是可停机的，在使用 oracle 输入的帮助下。 通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结
2008-03-18 16:23:00
3088
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人