程序设计方法学pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

程序设计方法学PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目 录 1

第一章程序设计方法学简介 1

§1.1程序设计方法学的产生 1

§1.2结构程序设计及其讨论的一些主要问题 3

第二章结构化程序 16

§2.1什么是结构化程序 16

§2.2结构化定理 22

§2.3一些新的控制结构 32

习题 43

第三章逐步求精的程序设计方法 45

§3.1两个例子 45

§3.2与逐步求精方法有关的几个问题 57

习题 67

第四章程序部分正确性的证明 69

§4.1程序正确性证明简介 69

§4.2不变式断言法 72

§4.3子目标断言法 80

§4.4公理化方法 84

习题 93

第五章程序终止性的证明 96

§5.1良序集方法 96

§5.2计数器方法 103

§5.3完全正确性证明简介 107

习题 114

§6.1正确性定理 116

第六章结构化程序的正确性证明 116

§6.2证明程序正确性的代数方法 120

§6.3产生循环不变式的一种方法 132

习题 136

第七章递归程序及其正确性证明 137

§7.1迭代与递归 137

§7.2递归程序的一种模型 137

§7.3结构归纳法及其在证明递归程序正确性 149

中的应用 149

习题 159

第八章程序的形式推导技术 160

§8.1程序形式推导的基本思想 160

§8.2面向目标的程序推导 166

§8.3循环不变式的推导技术 182

习题 190

第九章程序变换技术 192

§9.1问题的提出 192

§9.2程序变换的基本思想和基本规则 193

§9.3程序生成阶段 197

§9.4程序改进阶段（Ⅰ） 202

§9.5程序改进阶段（Ⅱ） 207

§9.6程序改进阶段（Ⅲ） 214

§9.7程序变换研究中的若干问题 218

习题 220

第十章程序工具和软件开发环境简介 221

参考文献 225