图书标签: 编程 计算机科学 计算机 程序设计 Dijkstra 经典 Programming 编程思维
发表于2024-11-04
编程的修炼(中英双语) pdf epub mobi txt 电子书 下载 2024
本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
作者简介:
艾兹赫尔•戴克斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生于荷兰鹿特丹,自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计,一生致力于将计算(computing)发展为一门科学,在计算机科学技术的诸多领域有开拓性建树,并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。
The Humble Programmer
评分The Humble Programmer
评分Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.
评分有点老了。讲得很形式化和抽象。
评分The Humble Programmer
怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
评分上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...
评分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
评分怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
评分上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...
编程的修炼(中英双语) pdf epub mobi txt 电子书 下载 2024