图书介绍
程序设计方法学 第2版PDF|Epub|txt|kindle电子书版本网盘下载
- 冯玉琳等编著 著
- 出版社： 北京：北京科学技术出版社
- ISBN：7530404709
- 出版时间：1985
- 标注页数：349页
- 文件大小：3MB
- 文件页数：360页
- 主题词：
PDF下载
下载说明
程序设计方法学 第2版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
序言1
第1章 引论1
1.1 什么是程序设计方法学1
1.2 一个例子：求最大公约数7
1.3 程序设计语言12
第2章 程序的基本控制结构16
2.1 基本控制结构16
2.2 限制GOTO25
第3章 程序的基本数据结构35
3.1 类型的概念35
3.2 简单类型37
3.3 结构类型39
3.4 指引元类型47
练习一55
第4章 程序正确性的证明法则59
4.1 如何证明程序的正确性59
4.2.1 简单语句的证明法则62
4.2 正确性证明法则62
4.2.2 语句序列和条件语句64
4.2.3 循环语句66
4.2.4 基本证明法则小结71
4.3 应用举例73
44 GOTO的证明法则84
练习二86
第5章 程序的逐步求精93
5.1 逐步求精的设计方法93
5.2 排序98
5.3 三色积木游戏107
5.4 筛法求素数和Goldbach猜想111
5.5 最小支撑树问题119
练习三126
第6章 使用函数和过程129
6.1 函数和过程的引入129
6.2 函数和过程的正确性证明133
6.3 自然归并算法135
6.4 数组划分和快速查找算法141
练习四145
7.1 递归的概念149
第7章 递归149
7.2 递归过程的设计和正确性152
7.3 遍历树159
7.4 递归图案设计165
7.5 试验和回溯，骑士游历问题174
练习五182
第8章 数据抽象和模块186
8.1 模块化的一般目标186
8.2 模块的设计准则187
8.3 八皇后问题195
8.4 同步原语204
8.5 数据抽象的形式规范技术212
8.5.1 Hoare公理化规范213
8.5.2 代数规范216
练习六219
第9章 维也纳开发方法225
9.1 形式化程序设计概述225
9.2 VDM规范227
9.3 Josephus密码问题232
练习七242
第10章 程序的形式推导技术244
10.1 程序的逻辑语义规范244
10.2 面向目标的程序推导252
10.3 不变式推导技术258
10.4 进一步的例子268
练习八277
第11章 程序变换279
11.1 程序变换的基本思想279
11.2 程序变换法则282
11.3 规范级变换285
11.4 函数级变换290
11.5 函数级向过程级变换302
11.6 过程级变换310
11.7 程序变换系统310
练习九312
第12章 程序设计工具和环境313
附录1 程序设计语言T报告316
附录2 部分习题参考答案和提示333
参考文献345
后记349