本书是图灵奖获得者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
《中国之读:“中国文学”的理论和方法》内容简介:本书是作者近些年来从事文学研究所作论文的选编。着眼于文学理论和评论的“中国
《行摄!肯尼亚!》内容简介:《行摄!肯尼亚!》以作者的亲历行程为主线,介绍了肯尼亚各地区的风土人情、野生动物、自然风光,并
《安全之路:Web渗透技术及实战案例解析》是《Web渗透技术及实战案例解析》一书的第2版。《安全之路:Web渗透技术及实战案例解析
繁琐的CSS规则和各浏览器支持度的不统一素来都为网页设计师所诟病。通过多年潜心研究与深入测试,作者归纳组合出了多达350条的设
《幸福家庭成就优秀孩子》内容简介:本书从寻找幸福、正确认识婚姻与家庭以及家庭的功能入手,让读者懂得并学会用智慧去爱所爱的人
《JavaScript权威指南:ECMAScript5+HTML5DOM+HTML5BOM》主要针对网页设计和开发初学者编写,现在学习javascript应该从...
要在当今的IT职场取得成功,必须像经营企业那样对待你的事业。在本书中,你将学到如何规划自己的职业生涯,让它向着你选择的目标
《公案中的世态》内容简介:公案小说是中国古典小说的一种,由宋话本公案类演义而成,盛行于明清。本书对公案小说进行了较为全面、
内容简介Spring3.0是Spring在积蓄了3年之久后,隆重推出的一个重大升级版本,进一步加强了Spring作为Java领域第一开源平台的翘楚
《小白学运营》是针对网络游戏行业,产品运营及数据分析工作的入门读物,主要为了帮助刚入行或有意从事游戏产品运营和数据分析的
《力的秘密》内容简介:力在人们生活中无处不在,小到种子的发芽,大到宇宙飞船的升空,力无时无刻不在发挥着作用。本书针对青少年
《中国历史文论选读》内容简介:《中国历史文论选读》是澳门大学历史系教授李凭编写的一部中国古代文论名篇选集。全书按照内容共分
撬开你脑子里的那些困惑,让你重新认识游戏设计的真谛,人人都可以成为成功的游戏设计者!从更多的角度去审视你的游戏,从不完美的
传染病动力学优化算法及其应用 本书特色 《传染病动力学优化算法及其应用》系统介绍了依据传染病动力学原理构造出来的一系列新型复杂场景群智能优化算法,即传染病动力学...
《朝花夕拾》内容简介:本书是鲁迅先生家喻户晓的回忆性散文集,比较完整地记录了他从幼年到青年时期的生活经历和思想脉络,在塑造
信息管理技术-全国计算机等级考试三级教程-2011年版 本书特色 本书根据教育部考试中心制定的《全国计算机等级考试三级信息管理技术考试大纲(2007年版)》的要...
这本有趣而通俗易懂的著作包括了24篇短文,共分6个主题,每个主题下有4篇文章。这些主题涵盖了一些重要的遗传学话题——每一个都
《UML风格(第2版)(英汉对照)》给出了一系列有效提高团队生产效率的编程风格的原则,描述了创建简洁、易于理解的UML图的标准和指南
Google地图、Flickr、YouTube、Amazon等众多开放平台的涌现,使我们能够方便地将海量的外部Web数据灵活有序地结合起来,创建出各
《中国经学史十讲》内容简介:“经”原先只是指代一种纺织工艺,在漫漫历史长河中,其逐渐变成了唯指孔子亲授的儒家五经的专称。朱