本书是图灵奖获得者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
OverviewLearnaboutthefeaturesofBeautifulSoupwithPythonExtractinformationfromGoog...
《一平米健身:硬派健身》内容简介:到底是什么,阻碍了我们健身? “69%的人说,我没时间;37%的人说,花销太大;30%的人说,我没
本书由资深Python专家亲自执笔,Python语言的核心开发人员作序推荐,权威性毋庸置疑。对于程序员而言,标准库与语言本身同样重要
《机器学习与流场数据可视化》内容简介:科学计算可视化(ScientificVisualization,SciVis)是计算机图形学的一个重要研究方向,是
《元帅的女儿》内容简介:本书是贺捷生以自己童年和青少年时代具有传奇色彩的经历为主要叙述线索的非虚构,也是她首次以自己为主角
《雅思真题高频词库(写作篇)》内容简介:本书根据雅思写作考试中的高频场景,精选核心词汇,搭配音标、释义和真题中的例句,帮考
所有伟大的设计,都是在艺术美、可靠性、安全性、易用性、成本和性能之间寻找平衡与和谐。《好用型设计》是设计学领域权威力作,
本书为知名互联网公司(明道)从市场的观察、产品的理念和自己的实践中开发的管理进步课程《高绩效团队的三个秘密》,概括了长期
忍受各种不确定性及不间断的压力并能够获取成功的程序员有一个共通特征:他们都深度关注软件创建实践。他们都把软件看做一种工艺
《奠基:苏联援华156项工程始末》内容简介:1953-1957年,新中国实施了第一个五年计划。以这一时期为主,苏联帮助中国建设了156项工
因為無法「保留」,所以美。因為「留白」,所以更豐盈。因為「看不見」,所以想像無限。日本擁有獨特的美意識和自然觀,自古傳承
《实战移动互联网营销》内容简介:移动互联网的兴起,又为企业带来了新的挑战与机遇!越来越多的人,看到了移动互联网的价值与前景
《别具光芒CSS属性、浏览器兼容与网页布局》结合大量范例与实际应用的实例,详细介绍了W3C发布的层叠样式表CSS2.1规范,浏览器对
音频编辑案例教学经典教程(微课版) 本书特色 本书教学资源丰富,提供各章范例与模拟案例源文件、素材、视频讲解、练习题、PPT和补充知识点学习等资源;为翻转课堂和...
《认同、文化与地方历史》内容简介:本书共收录14篇文章,涵盖认同政治、文化与地方历史等方面,既有一般性的人类学理论探讨,也有
《人间值得一回游》内容简介:任凭心中涌起孤独万种,观照尘世依然欢喜如初。散文大家刘白羽一生写出了大量具有深刻思想内涵和独特
本书由腾讯公司视觉设计师编写,针对UI设计方向,从基础的知识出发,首先介绍了成为一名UI设计师需要做哪些方面准备工作。接下来
《如何专业做采购》内容简介:作为专业采购必须有能力回答4大核心问题: 为什么选择这家供应商? 为什么是这个价格? 如何通过合同
《ROS机器人项目开发11例(原书第2版)》内容简介:本书涵盖新的ROS发行版中的项目——ROS Melodic Morenia with Ubuntu Bio...
移动通信是当前发展最快、应用最广和最前沿的通信领域之一。本书共分为七章,主要介绍了移动通信的基本概念,移动通信网网络技术