【发布时间】:2010-11-22 01:11:49
【问题描述】:
【问题讨论】:
【问题讨论】:
好笑。我写了一篇博客:The E. W. Dijkstra Archive (Update)。我认为这可能非常重要,因为它与 A Discipline of Programming 书类似。
另请参阅 EWD316,A Short Introduction to the Art of Programming。
【讨论】:
我知道您还没有在正式场合(即在学校或大学)接触过它,您可能会受益于 Dijkstra 的程序构建方法,这是一种非常严格但强大的记录和问责技术设计程序和算法时的思维过程。
编程学科可能是一个好的开始(Roland Backhouse 的程序构建也是如此),但我认为就纯粹的影响而言,最好见人熟练的技术使用它来获得良好的效果。他的讲座The power of counting arguments(在德克萨斯大学主持)就是一个很好的演示。
【讨论】:
我建议从他的“结构化编程”一章开始。从技术上讲,它不是 EWD,而是我最喜欢的 Dijkstra。我也强烈推荐 Stepanov 的“Elements of Programming”。在我看来,Stepanov 是我们这一代的 Dijkstra。
【讨论】: