本书是图灵奖获得者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
《随机信号分析》主要阐述了概率论与随机信号的基础理论和分析方法。全书共分7章,包括概率论,随机信号的时域、频域分析,随机信
《App Inventor创意趣味编程进阶》内容简介:App Inventor是一款简单易上手的可视化安卓App开发工具,随着各种开源硬件和人工智能技
《一本书读懂互联网金融》内容简介:互联网金融是传统金融行业与互联网相结合的新兴领域。它是现代经济进入互联网时代,在金融上所
机器人简史 本书特色 本书从早期机器人说起,讲述了近代机器人的发展历程,介绍了现代机器人的发展情况,描绘了未来机器人的发展图景,并简要概括了世界各主要国家发展机...
《背包旅行》内容简介:本书是基于一名背包客和背包客研究者的自助旅行体验,对背包旅行进行全面再概念化的学术专著。它不仅展现了
《提高转化率!:网页A/B测试与多变量测试实战指南》由麦克法兰所著,优化测试是显著促进网站转化率及提升收益最保险的方法。通过针
先进遗传算法及其工程应用 内容简介 本书以遗传算法基本理论为基础, 依据近年来该算法的发展现状, 对其数学基础理论、算法设计方法及其工程应用进行系统研究和全面总...
《设计师不读书》是一本为创意专业人士“量身打造”,激发他们设计灵感的书。创意总监、广告撰稿人和设计的倡导者奥斯汀·豪对创
内容简介:怎样才能将访问者转化为顾客?本书提供了一些切实可行的建议,比如如何说服访问者作出购买决定,如何避免用户因信息过
EdwinHutchinscombineshisbackgroundasananthropologistandanopenoceanracingsailoran...
本书是一本经典的大学通信专业教材。全书深入浅出地讨论了无线通信的相关基础理论,并涉及到了第三代系统的基本发展方向和有关问
《家庭按摩取穴定位速查一本就够》内容简介:经络和穴位的神奇之处在于,它们遍布全身,每条经络、每个穴位都有独特的养生功效,我
一看就懂的Excel办公技巧全图解 本书特色 《一看就懂的excel办公技巧全图解》打破了从职位到行业的职能界限,让工作轻松对号入座;打通从心法到招式的关键穴道...
本书教读者循序渐进地、系统地学习UML基础知识和应用技术。和前一版相比,本书内容根据UML2.0进行了补充和更新,随书光盘包含了建
《像经营企业一样经营自己》内容简介:时代洪流中,如何做到即便行业遇冷,淘汰谁也轮不到你?在个人品牌崛起的时代,你需要像经营
WebStandardsarethestandardtechnologyspecificationsenforcedbytheWorldWideWebConso...
《中国古典舞术语词典》内容简介:《中国古典舞术语词典》为“舞蹈普及教育丛书”系列之一,其内容有71个歌舞组合,涵盖了民间舞、
《21天学通C++(第5版)》内容简介:本书从初学者的角度较全面地介绍了C++的相关知识,较系统地介绍了C++语言的基础内容。本书包括
《高绩效HR必备图表范例》内容简介:当今人力资源管理领域面临诸多新问题、新环境、新理念、新技术,各种名类繁杂的图书也大量涌现
《Java虚拟机精讲》内容简介:HotSpot VM是目前市面上高性能JVM的代表作之一,它采用解释器+JIT编译器的混合执行引擎,使得Java程序