本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
序 IX
前言 XI
第0章 执行抽象 1
第1章 编程语言的作用 13
第2章 状态及其特征 19
第3章 语义的性质 29
第4章 一种编程语言的语义特征 47
第5章 两个定理 73
第6章 论完满终止结构的设计 81
第7章 再论欧几里得算法 89
第8章 几个小例子的形式化处理 101
第9章 论受限的非确定性 143
第10章 有关记法的短论:“变量的作用域” 157
第11章 数组变量 187
第12章 线性检索定理 209
第13章 下一个排列 213
第14章 荷兰国旗问题 221
第15章 更新顺序文件 233
第16章 再论归并 245
第17章 来自R.W.HAMMING的一个练习 257
第18章 模式匹配问题 269
第19章 将一个数写成两个平方之和 279
第20章 大数的最小素因子问题 285
第21章 最孤立村庄问题 297
第22章 最短子支撑树问题 307
第23章 记录等价类的REM算法 321
第24章 三维空间的凸包问题 335
第25章 有向图的最大强连通分支 383
第26章 论手册和实现 401
第27章 跋 417
《世界经典步枪TOP10》内容简介:步枪是世界上产量最高、应用最广泛的单兵轻武器。本书以轻武器发展的重要节点划分历史时期,纵向回
《RPA智能机器人》内容简介:这是一部为企业应用RPA智能机器人提供实施方法论和解决方案的著作。作者团队RPA技术、产品和实践方面有
《如何阅读文学经典》内容简介:复旦大学中文系邵毅平教授在海内外大学从事教学研究四十年,他在上海多所高中开设的“中国文学特别
《大国经济学》内容简介:起点独特·规模巨大·区域差异显著·治理层级复杂·连接全球的制造业大国 · 改革开放40余年,在一个急速
《理解中国产业政策》内容简介:随着改革开放的不断深入与国民经济的快速发展,中国以选择性政策为主体的产业政策体系,政策效果越
《上行:可复制的突围之道》内容简介:《认知突围》作者、百万级畅销作家蔡垒磊励志新作 打破成功之路的拥挤错觉,打造向上生长的无
《SAS金融数据挖掘与建模》内容简介:本书是一本介绍金融企业数据建模的专著。在内容上,书中以信贷(信用卡)客户的生命周期管理为
《5G+智慧医疗:赋能医疗产业数字化转型》内容简介:本书立足于当前我国智慧医疗产业的发展现状与前沿趋势,梳理智慧医疗发展历程和
《智能变电站二次设备调试实用技术》内容简介:本书是针对二次检修人员的智能变电站调试技术技能培训的教材,全书共7章,主要包括二
2009-黑客防线-(精华奉献本)(全2册)(附2张光盘) 本书特色 透视黑客技术发展焦点,把握黑客攻防技术跳动脉搏,全面收录流行黑客技术黑客编程实战大演练,黑...
本书由日本视觉设计研究所编著。全书分为选择版面样式和调整版面形态两大部分,分别向读者系统介绍了样式和造形的8个要素。全书在
《从极简到极致》内容简介:本书是关于工作与人生的方法论。这里没有不切实际的想象,也没有空洞的口号,有的只是从一个又一个真实
《二战经典战役系列丛书:鏖兵瓜岛(图文版)》内容简介:瓜岛战役是日本继中途岛战役后的又一次大败,此次战役后,日本战略优势不
C Primer Plus-(第6版)-中文版 本书特色 《c primer plus(第6版)中文版》详细讲解了c语言的基本概念和编程技巧。《c primer...
《Linux就该这么学》内容简介:本书基于最新的红帽RHEL系统编写,且内容通用于CentOS、Fedora等系统。本书共分为20章,内容涵盖了部
《Scala与Clojure函数式编程模式》内容简介:StackOverflow刚刚发布了2015开发者调查,最受程序员喜爱的开发语言中,Clojure和Sca...
《战略定位在中国的实践》内容简介:本书依据成美战略定位咨询公司过去20多年的实战案例写作而成。书中详细介绍了一些如今已经是数
风格就是这个人本身-Buffon布冯Styleisthephysiognomyofthemind。风格就是心灵的脸容-ArthurSchopenhauer叔本华...
《石门铭》内容简介:《石门铭》,又称《泰山羊祉开复石门铭》。北魏宣武帝永平二年(五〇九)立,记述了梁、秦二州刺史羊祉和左校
《我国企业科技人才吸引力研究》内容简介:本书综合运用技术经济学、企业管理学等学科的相关理论,围绕企业吸引和集聚高层次科技人