图书介绍

程序设计方法学【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

仲萃豪等编著著
出版社：北京：北京科学技术出版社
ISBN：15274·011
出版时间：1985
标注页数：306页
文件大小：7MB
文件页数：317页
主题词：

PDF下载

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

点击复制MD5值：729eadabff0c2ab404754b2c0262dbed

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

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

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

图书目录

第1章引论1

1.1什么是程序设计方法学1

1.2一个例子：求最大公约数7

1.3程序设计语言13

第2章程序的基本控制结构16

第3章程序的基本数据结构21

3.1类型的概念21

3.2简单类型23

3.3结构类型26

3.4指引元类型34

练习一37

第4章程序正确性的证明法则40

4.1如何证明程序的正确性40

4.2简单语句的证明法则43

4.3语句序列和条件语句45

4.4循环语句48

4.5基本证明法则小结53

4.6应用举例55

练习二64

第5章限制GOTO70

5.1 关于GOTO问题的争论70

5.2 GOTO的证明法则75

5.3结论77

第6章程序的逐步求精81

6.1逐步求精的设计方法81

6.2排序86

6.3积木游戏95

6.4筛法求素数和Goldbach猜想99

6.5最小支撑树问题105

练习三112

第7章函数和过程116

7.1函数和过程的引入116

7.2局部量和过程参数118

7.3函数和过程的正确性证明119

7.4自然归并算法122

7.5数组划分和快速查找算法127

练习四131

第8章数据抽象和模块133

8.1模块化的一般目标133

8.2模块的设计准则134

8.3八皇后问题142

8.4同步原语152

8.5数据抽象的形式规定技术160

练习五164

第9章递归166

9.1递归的概念166

9.2递归过程的设计和正确性169

9.3递归数据结构176

9.4 Hilbert图案问题190

9.5试验和回溯，骑士游历问题199

练习六205

第10章程序的形式推导技术208

10.1程序的形式语义208

10.2面向目标的程序推导219

10.3不变式推导技术225

10.4进一步的例子235

第11章程序变换246

11.1程序变换的基本思想246

11.2程序变换的基本法则249

11.3程序规定和规定级变换252

11.4函数级变换258

11.5函数级向过程级变换270

11.6过程级变换278

11.7程序变换系统279

练习七280

第12章程序工具和环境283

附录程序设计语言T报告287

参考文献303