本书是图灵奖获得者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
InthetraditionofWhoOwnstheFuture?andTheSecondMachineAge,anMITMediaLabscientistim...
ThisdelightfulbookleadsyouthroughthebasicelementsofprogramminginScheme(aLispdial...
《移动通信(第2版影印版)》是移动通信领域的导论,主要讨论数字数据传输。适用于选修计算机网络或通信课程的电子工程或计算机专业
隈研吾KUMAKENGO1954年出生于日本神奈川县横滨市。隈研吾建筑都市设计事务所主持建筑师。1979年毕业于东京大学建筑系。曾担任哥伦
《RubyonRails社区网站开发》全面探讨创建完整社区网站的开发过程。首先介绍开发一个内容简单的管理系统,之后逐渐添加新特性,以
《清华时间简史:美术学院(110校庆)》内容简介:清华大学美术学院的前身是1956年成立的中央工艺美术学院,1999年并入清华大学,更
《冬韵奥林匹克》内容简介:本书从艺术欣赏角度介绍了冬奥会的历史和风采,展示冬奥文化的魅力,介绍了北京申请冬奥会举办权的历程
Ifyouveeverbeenintroducedtoanewemployeeattheofficeas"theguywhogotdrunkattheChris...
《ACM图灵奖:计算机发展史的缩影(1966-2006)(第3版)》介绍了51位ACM图灵奖获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代
Godinslatestbusinesshandbook(afterSmallIstheNewBigandTheDip)revisitssomeofhismos...
《精神科医生破案笔记2:青山医院之谜》内容简介:1、诡异之地,进入必疯!每一种疯狂试探的背后,都是破碎的灵魂、病态的躯体; 2
编程的真正挑战不是学习一种语言的语法,而是学习创造性地解决问题,从而构建美妙的应用。《像程序员一样思考》分析了程序员解决
《基础生物科学》是为大学本科学生编写的教材,适用于非生物专业公共课和包括农、林、医、生物科学与生物技术、生物工程等生物类
《Solidity编程:构建以太坊和区块链智能合约的初学者指南》内容简介:本书一方面从概念上介绍了Solidity编程语言,比如从以太坊虚
AutoCAD实用教程-(第3版)-(2010中文版) 本书特色 本教程主要包括实用教程和上机操作指导两部分。另外,每章的习题有助于弄清基本概念,*后还有模拟试...
《中国审美文化焦点问题研究》内容简介:中国古代美学思想具有若干复杂而深刻的核心问题,其中一些话题具有非常强大的延伸能力,旁
《德教释疑》内容简介:有无公德、私德之分?道德是否需要形而上预设?修己与待人的区别何在?浙江大学中西书院院长刘东教授借着为
软件测试技术经典教程 本书特色 本书是高级软件测试工程师专用教材。作者通过丰富的项目及培训经验,结合大量实际案例讲解软件测试技术和软件测试工具的应用,将*实用的...
大型强子对撞机(LHC)坐落于欧洲核子研究中心(CERN),在瑞士和法国交界处的乡村地下25.659千米长的环形隧道中。它的宏伟目标是
本书系统地介绍了数据通信与计算机网络领域的基本理论及应用。与前几版相比,第4版在内容和编排上都有较大更新,更加注重理论与实