2010年5月9日
读TAOCP的算法形式化定义以及归纳法的一点感受
摘要： 虽然TAOCP看的章节不多，但是有了前面CMath的学习经验，在学习的时候有些自己的体会,与大家分享一下:关于算法的形式化定义部分讲到了定义的四元组，在这一节的习题第9题，说的是如何用一个计算方法模拟另外一个计算方法，扩展一下此题就是我们用更多状态的计算方法如何才能准确的模拟较为抽象的计算方法。通过这个四元组的定义，我想到了Haskell语言。像我们这样接触计算机语言从C到C++、Java之类很难... 阅读全文
posted @ 2010-05-09 11:44 CC 阅读(2686) 评论(0) 推荐(1) 编辑