![[荷] Edsger W·Dijkstra《编程的修炼（中英双语）》](http://oss.shudanhao.com/caiji/chazidian/2023/3894.jpg)
[荷] Edsger W·Dijkstra《编程的修炼（中英双语）》
书刊介绍
内容简介
本书是图灵奖获得者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
相关推荐
-
斯平内利斯《代码阅读方法与实践》
代码阅读有自身的一套技能，重要的是能够确定什么时候使用哪项技术。本书中，作者使用600多个现实的例子，向读者展示如何区分好的
-
计算机电路基础
计算机电路基础 内容简介 计算机电路基础是高等职业技术学院计算机专业及计算机相关专业的一门重要专业基础课。本教材是作者在从事多年的计算机硬件产品开发和课程教学基...
-
《寒江独钓》书籍《寒江独钓》
本书从Windows内核编程出发，全面系统地介绍了串口、键盘、磁盘、文件系统、网络等相关的Windows内核模块的编程技术，以及基于这
-
C程序设计语言(第二版.新版)
C程序设计语言(第二版.新版) 本书特色 在计算机发展的历史上,没有哪一种程序设计语言像C语言这样应用如此广泛。本书原著即为C语言的设计者之一Dennis M....
-
一本书看透价值投资
《一本书看透价值投资》内容简介：在本书中，两位作者根据自身近20余的价值投资实战经验，分享如何去判断一家企业的价值，如何挖掘
-
沈保锁《现代通信原理》
本书系统地介绍了现代通信的基本原理，主要讲述了模拟通信系统与数字通信系统的基本传输原理及性能分析，重点讨论了数字通信系统
-
从零开始做抖音短视频
《从零开始做抖音短视频》内容简介：本书作者运营的自媒体账号“台球帝”在抖音和快手两个平台共拥有300多万粉丝量，在亲自运营的基
-
![[美] 博克斯《.NET本质论 第1卷:公共语言运行库》](http://oss.shudanhao.com/caiji/chazidian/2023/3341.jpg)
[美] 博克斯《.NET本质论 第1卷:公共语言运行库》
DonBox是微软公司的架构师，主要研究方向为下一代Web服务协议和程序设计模型。Don是软件集成技术方面的权威。在上世纪90年代，他
-
J·斯坦利·沃法德《计算机系统：核心概念及软硬件实现（原书第4版）》
本书基于虚构的计算机Pep／8，清晰、详细，循序渐进地介绍了计算机组成、汇编语言和计算机体系结构中的核心思想，围绕7个抽象层次
-
Kimberly Elam《設計幾何學》
◎聯合推薦金蝶獎美術設計類得主／黃子欽、鄭宇斌、楊啟巽、聶永真、林銀玲松果、鳟魚和人體，究竟有什麼共同點？目前最夯的設計
-
Python网络编程（原书第2版）
《Python网络编程（原书第2版）》内容简介：本书从使用者的角度出发，学习难度逐渐增加。首先简单回顾了TCP/IP和Python基础知识，然
-
中国人民大学中国法律发展报告2020
《中国人民大学中国法律发展报告2020》内容简介：本报告从法律规范体系、法治实施体系、法治监督体系、法治保障体系、党内法规体系
-
路演中国
《路演中国》内容简介：本书用通俗易懂的语言阐述了路演含义、形成、演变、重要作用、落地策略、实用案例，以及各种不同路演的运作
-
永不干涸的大道清源——中国故事：从丝绸之路到“一带一路”（第三辑）
《永不干涸的大道清源——中国故事：从丝绸之路到“一带一路”（第三辑）》内容简介：中国是世界上少数几个历史文明长河没有干涸的
-
![[美] 詹森《Tomcat权威指南》](http://oss.shudanhao.com/caiji/chazidian/2023/1875.jpg)
[美] 詹森《Tomcat权威指南》
JakartaTomcat是世界上使用最广的Javaservlet与JSP平台。除了作为Sun公司servlet及JSP规格的参考实现之外，在几十万个网站中也占
-
动力与秩序：中国哲学的现代追寻与转向（1895—1995）
《动力与秩序：中国哲学的现代追寻与转向（1895—1995）》内容简介：面对“三千年未有之大变局”，19世纪晚期，中国文化精神发生了
-
![[巴西] 莱鲁《LUA程序设计(第2版)》](http://oss.shudanhao.com/caiji/chazidian/2023/4044.jpg)
[巴西] 莱鲁《LUA程序设计(第2版)》
周惟迪（www.zhouweidi.name），在少年时由于喜好计算机游戏而喜爱上计算机编程，对各类开发技术皆有涉猎。曾从事过2年游戏程序设
-
别输在不懂营销上
《别输在不懂营销上》内容简介：本书按照推销的进程来安排顺序,从塑造推销员的基本素质说开去,将接近客户、寻找和开发客户、产品介
-
一分钟对视，读懂孩子的心
《一分钟对视，读懂孩子的心》内容简介：本书通过一分钟面对面识人的原创技术和亲子对视的实际咨询案例，帮助3到10岁孩子的父母们提
-
中国人力资源法律审计报告2018——从东盟十国看“一带一路”国家的劳动与雇佣管制
《中国人力资源法律审计报告2018——从东盟十国看“一带一路”国家的劳动与雇佣管制》内容简介：本报告是“中国人力资源审计系列报
