本书是图灵奖获得者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
微信公众平台应用开发方法.技巧与案例 本书特色 本书是目前微信公众平台应用开发领域内容*全面、系统和深入的一本书,也是技术版本*新的。由著名的资深微信公众平台应...
《VerilogHDL程序设计与实践》系统讲解了VerilogHDL的基本语法和高级应用技巧,对于每个知识点都按照开门见山、自顶向下的方式来
《我的小阳台四季有花》内容简介:◆一本针对新手的园艺书,当你对植物无从下手时,不妨翻开看看大家怎么种植。◆书中拜访13位国内
《全经验课程:为儿童创造完整的生活世界》内容简介:全经验课程是在“全经验”理念下对儿童经验领域的一种整体架构,它不以学科为
《书与钥匙的季节》内容简介:充满爱与友谊的6个相互关联的短篇日常推理故事集。两个每日沉溺在图书馆的男孩,一个敏锐踏实且为人温
序列图像中的目标分析技术 本书特色 本书以序列图像中目标分析技术的基本过程为主线,系统地介绍了目标分析的基本理论,详细讲解了作者的研究成果。绪论重点对序列图像中...
《神经网络气象预报建模理论方法与应用》主要介绍了神经网络主要模型的基本理论和方法、神经网络的各种短期气候预测模型、时间序
尹华杰:华中理工大学电气工程系博士(1994年),美国伊利诺伊大学(UIUC)电磁计算中心(CCEM)访问学者(1999年-2000年),华南
《短视频社区:产品、运营与商业化》内容简介:本书从实战角度讲解短视频社区的产品架构、运营方案和商业变现的著作。作者是某头部
《设计问题(第四辑)》内容简介:本书共由十一篇文章组成,全部译自美国麻省理工学院(MIT)出版社出版的《设计问题》(Design Is
在这本书里,建筑与写作是两条永远平行但并不互相解释的线索,全部含义都指向:通过某种建造房子的活动,一个人如何实现自觉,从
《Kotlin从入门到进阶实战》内容简介:本书从Kotlin语言的基础语法讲起,逐步深入到Kotlin进阶实战,并在最后配合项目实战案例,重
EXCEL应用大全 本书特色 《Excel应用大全》一书适合各个层次的Excel用户,即可作为初学者的入门指南,又可作为中、高级用户的参考手册。书中大量的实例还...
《构建跨平台app:jquerymobile移动应用实战》分为4篇,第一篇是移动开发入门篇,介绍了jquerymobile、html5和移动开发的一些基础
书围绕着动态内存自动回收的话题,介绍了垃圾收集机制,详细分析了各种算法和相关技术。本书共12章。第1章首先介绍计算机存储器管
随着计算机硬件的发展、处理能力的增强,人机交互成为制约其发挥作用的关键因素。人与计算机的交互一直受到输入/输出之间信息不平
《组织合伙人:寻找增长新曲线》内容简介:企业增长的底层逻辑是什么?企业组织架构的痛点是什么?如何找到企业的增长新曲线?如何
PPT演义-100%幻灯片设计密码-第2版-升级版-含DVD光盘1张 内容简介 迄今为止*全面的一本ppt教材:九大章节,让你从思维、策划、框架、图文、图表、美...
《自然与人工系统中的适应:理论分析及其在生物控制和人工智能中的应用》是遗传算法开山之作,以适应性为主题,贯穿生物、经济、人
《那场青春的一次出走》内容简介:这是一本青春情感美文集,主人公均是以青少年为主。那朦胧的爱情、浓浓的亲情,以及真挚的友情,