图书介绍
程序系统的基本概念PDF|Epub|txt|kindle电子书版本网盘下载
- （美）厄尔曼（J.D.Ullman）著；程虎译 著
- 出版社： 北京：人民邮电出版社
- ISBN：15045·总2276无6237
- 出版时间：1983
- 标注页数：419页
- 文件大小：11MB
- 文件页数：431页
- 主题词：
PDF下载
下载说明
程序系统的基本概念PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
序言1
第0章 结构程序1
0.1 日常生活中的系统方法1
0.2 结构程序设计3
0.3 产生结构化程序的方法8
0.4 无GOTO语言11
0.5 为结构程序设计增加的控制结构17
0.6 自顶向下设计中无GOTO语言的使用20
第一章 数据及其表示25
1.1 数系25
1.2 小数的表示28
1.3 各种基中的运算34
1.4 机器字和数的表示37
1.5 定点运算39
1.6 浮点数45
1.7 浮点运算48
1.8 多倍精度运算54
1.9 字符串的表示56
1.10 表示其他各种数据57
第二章 简单计算机65
2.1 计算机概貌65
2.2 主存贮器67
2.3 控制器70
2.4 运算器72
2.5 二级存贮器73
2.6 计算机指令的种类79
2.7 数据传输指令80
2.8 运算指令82
2.9 转移指令85
2.10 输入／输出指令93
2.11 杂指令95
2.12 地址修改—立即寻址和间接寻址96
2.13 用变址作地址修改98
2.14 字符寻址100
2.15 汇编语言102
2.16 我们省略了的某些机器特性108
第三章 数据结构介绍115
3.1 数据结构115
3.2 连接表120
3.3 栈122
3.4 表存贮的制表方法126
3.5 树130
3.6 相联存贮和相联结构134
3.7 对半检索树136
3.8 散布存贮140
第四章 汇编语言和汇编程序156
4.1 汇编过程156
4.2 伪操作157
4.3 简单的汇编程序161
4.4 文字167
4.5 地址表达式170
4.6 当前位置符173
4.7 宏174
4.8 宏汇编程序178
4.9 条件汇编182
第五章 装入程序和连接编辑程序189
5.1 指令的再定位189
5.2 带基寄存器的机器上的装入195
5.3 外部引用199
5.4 子程序连接202
5.5 连接编辑程序的实现205
第六章 基本程序设计语言概念211
6.1 程序设计语言概述211
6.2 标识符及其实现215
6.3 数组219
6.4 静态和动态存贮分配223
6.5 动态存贮分配224
6.6 表达式和运算符229
6.7 表达式的语义232
6.8 语句的语义236
6.9 标识符的连结237
6.10 参数传递242
6.11 形实替换程序248
6.12 连接约定的比较249
第七章 递归与栈式存贮分配259
7.1 栈式存贮分配259
7.2 递归262
7.3 区头向量275
7.4 具有动态连结的栈式存贮分配284
第八章 上下文无关文法289
8.1 递归定义289
8.2 上下文无关文法的定义293
8.3 推导296
8.4 分析树299
8.5 分析树的自底向上构造304
8.6 分析算法307
8.7 构造移位—归约表315
8.8 二义性文法325
8.9 分析二义性文法329
第九章 编译程序333
9.1 编译程序简述333
9.2 词法分析334
9.3 分析和语法制导的翻译336
9.4 代码选择和优化340
9.5 簿记344
9.6 错误校正347
9.8 更多的代码优化349
9.7 各阶段的交互作用349
9.9 语法制导的翻译353
9.10 一些语法制导翻译方案的简单实现370
9.11 一般翻译方案的实现375
9.12 可扩充语言381
第十章 证明程序正确391
10.1 为什么要研究程序验证？391
10.2 归纳断言393
10.3 证明断言394
10.4 证明递归程序的正确性400
10.5 证明终止403
10.6 正确性证明的应用405
参考资料415
附录418