图书介绍
计算机科学导论pdf电子书版本下载
- （德）冈特·霍茨（Gunter Hotz）著；石茵译 著
- 出版社： 北京：北京航空航天大学出版社
- ISBN：7810128132
- 出版时间：1999
- 标注页数：321页
- 文件大小：14MB
- 文件页数：332页
- 主题词：
PDF下载
下载说明
计算机科学导论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
前言 1
第一章 基本数学概念 1
1.1 符号表示法 1
目录 1
1.2 半群和独异点 3
1.3 子半群、子独异点、同态及生成元系统 6
1.4 独异点的商 11
1.5 简单程序 13
1.6 习题 18
2.1 数学计算机的定义 23
2.1.1 机器的初级划分 23
第二章 简单电子计算机的数学模型 23
2.1.2 程序存储器和运算存储器 24
2.1.3 控制器 25
2.1.4 指令库的扩充，变址寄存器，地址运算及程序例子 29
2.1.5 一个分类程序 44
2.2 计算机的形式定义及模拟概念 48
2.2.1 抽象计算机及计算 48
2.2.2 模拟 50
2.2.3 模拟示例及模拟概念的进一步发展 51
2.2.4 部分模拟和关系模拟 58
2.2.5 特殊模拟和封闭性 67
2.2.6 程序存储器中程序的可转移性 69
2.3.1 子程序技术的要求 73
2.3 子程序技术 73
2.3.2 机器状态的扩充 75
2.3.3 狄克语言和括号表达式 76
2.3.4 栈自动机或下推自动机 84
2.3.5 句法正确的程序 86
2.3.6 机器的结构 93
2.3.7 运算存储器的页面式管理 101
2.3.8 一个例子 112
2.3.9 运算存储器的动态管理 119
2.4 习题 121
第三章 组合电路和时序电路 125
3 1 序言 125
3.2.1 开关函数的定义及例子 127
3 2 开关函数的布尔代数 127
3.2.2 开关函数的布尔代数 129
3.2.3 布尔表达式和组合电路 132
3.2.4 电路计算和运行时间 138
3.2.5 最小多项式 142
3.2.6 开关函数、n维立方体和图 146
3.2.7 布尔电路 150
3.3 时序电路 156
3.3.1 D触发器 156
3.3.2 R-S触发器 160
3.3.3 R-S触发器的函数性质的利用 162
3.3.4 解布尔方程组 165
3.3.5 有限自动机和时序电路 169
3.3.6 正则集 174
3.3.7 有限自动机的乘积 182
3.3.8 线性时序电路 185
3.3.9 时序电路的其他描述 189
3.4 微程序设计 190
3.4.1 程序设计语言初步 190
3.4.2 微程序的数据结构 190
3.4.3 微程序设计的基本运算 191
3.4.4 微程序的结构 194
3.4.5 微程序的句法 198
3.4.6 微程序的语义 200
3.4.7 微程序的电路实现 201
3.4.8 一个关于乘法的微程序 203
3.4.9 存储器 207
3.4.10 微程序器 213
3.4.11 结束语 214
3.5 习题 215
第四章 程序设计语言 223
4.1 基本概念 223
4.1.1 序言 223
4.1.2 程序例子和指令 224
4.1.3 实数据类型 228
4.1.4 字符串数据类型 232
4.1.5 表数据类型 236
4.1.6 句子数据类型 243
4.2 非结构化的程序 249
4.1.7 布尔数据类型和集合数据类型 249
4.2.1 赋值、变量、常量和类型 250
4.2.2 表达式 254
4.2.3 简单程序 262
4.2.4 控制语句的删除 270
4.2.5 表达式的删除 273
4.3 子程序 281
4.3.1 引言 281
4.3.2 子程序和程序的句法 282
4.3.3 PSp程序的语义 285
4.4 数据结构 294
4.4.1 数据场或数组 294
4.4.2 记录 302
4.4.3 可变数组数据类型 307
4.4.4 模块概念 310
4.5 化简 312
4.5.1 子程序的消除 312
4.6 正规数据类型和字典 315
4.6.1 正规数据类型的层次化 317
4.7 程序设计语言的不完备性 317
4.7.1 理发师的自相矛盾 318
4.7.2 无穷二进制小数的不可数性 318
4.7.3 程序设计语言的不完备性 318
4.8 习题 318
参考文献 321