第1章 计算机基础知识 2
1.1计算机的发展历史 2
计算机产生的历史背景 2
计算机的诞生 3
冯·诺依曼与阿兰·图灵 3
计算机发展历程 5
各种计算机技术简介 6
计算机与信息化社会 9
1.2冯·诺依曼型计算机系统 12
冯·诺依曼型计算机的基本组成 12
采用二进制 16
程序存储 19
1.3二进制数制 25
进位制数的相互转换 25
二进制数的小数点处理 29
二进制数的正、负号表示 33
1.4二进制运算 37
二进制的四则运算 38
定点加、减法运算及溢出判断 39
1.5二进制编码 43
BCD码 43
ASCII码与EBCDIC码 45
校验编码 47
汉字编码 48
本章小结 52
习题1 52
第2章 计算机硬件系统 54
2.1中央处理器（CPU） 54
运算器及其工作原理 54
控制器的组成及功能 56
指令系统 58
CPU核心的设计 60
2.2存储系统 62
存储系统的层次结构 63
主存储器 65
外部存储器 72
2.3输入／输出系统 79
接口 80
常用的输入设备 82
常用的输出设备 83
本章小结 87
习题2 88
第3章 计算机软件系统 89
3.1概述 89
计算机软件 89
计算机软件的特点 90
软件功能在实现上的变化 90
3.2计算机常用系统软件简述 90
操作系统 90
数据库系统 92
计算机网络软件 93
3.3程序设计语言 93
计算机的指令系统 93
计算机程序设计语言 95
结构化程序设计 98
面向对象技术 99
3.4计算机软件执行过程 100
高级语言源程序 100
汇编语言源程序 102
机器语言程序 104
程序的执行过程 105
本章小结 109
习题3 109
第4章 数字逻辑基础 112
4.1逻辑运算 112
概述 112
逻辑代数中的三种基本运算 112
复合逻辑运算 114
4.2逻辑函数及其表示方法 116
逻辑函数 116
逻辑函数的表示方法 117
各种表示方法之间的相互转换 118
4.3逻辑代数的基本公式和常用公式 120
基本公式 120
常用公式 121
4.4逻辑代数的基本定理 123
代入定理 123
反演定理 123
对偶定理 124
4.5逻辑函数的公式化简法 125
逻辑函数的最简形式 125
逻辑函数的公式化简法 125
4.6逻辑函数的卡诺图化简法 127
逻辑函数的最小项及最小项表达式 127
逻辑函数的卡诺图表示法 129
逻辑函数的卡诺图化简法 131
4.7具有无关项的逻辑函数及其化简方法 134
无关项 134
具有无关项的逻辑函数的化简方法 135
本章小结 136
习题4 137
第5章 组合逻辑电路 140
5.1数字集成电路简介 140
TIL和CMOS两大类结构的集成电路及使用特点 140
几种有特殊用途的集成门电路 144
5.2用SSI构成的组合电路的分析和设计 146
组合逻辑电路的特点 146
5.2.2用SSI构成的组合电路的分析方法 147
用SSI构成的组合电路的设计方法 148
5.3编码器 151
二进制编码器 151
十进制编码器 152
5.4译码器 153
二进制译码器 153
十进制译码器 154
用最小项译码器实现组合逻辑函数 156
七段译码器 156
5.5数据选择器 157
数据选择器的结构和工作原理 157
利用数据选择器实现组合逻辑函数 159
5.6 数值比较器 161
多位数值比较器的设计思想 161
四位数值比较器CC14585 162
5.7加法器 162
多位串行加法器 163
多位并行加法器 163
5.8组合逻辑电路中的竞争—冒险现象 165
在逻辑电路中信号的传输延迟时间 165
竞争—冒险的现象及产生的原因 167
消除竞争—冒险的方法 168
本章小结 169
习题5 170
第6章 时序逻辑电路 173
6.1触发器 173
触发器的结构特点 173
触发器的逻辑功能及其表示方法 178
触发器的直接置位和复位端 181
6.2时序逻辑电路的特点及其表示方法 182
时序逻辑电路的结构和工作特点 182
时序逻辑电路的三个方程组 182
6.3用SSI构成的时序逻辑电路的分析方法 183
同步时序逻辑电路的分析方法 184
异步时序逻辑电路的分析方法 186
6.4用SSI设计时序逻辑电路的方法 188
用SSI构成的同步计数器的设计 188
一般同步时序逻辑电路的设计 190
6.5并行寄存器和移位寄存器 193
并行寄存器 193
移位寄存器 194
移位寄存器的应用 196
6.6计数器 200
同步计数器 200
异步计数器 204
MSI计数器的使用方法 206
本章小结 214
习题6 215
第7章 可编程逻辑器件 220
7.1概述 220
7.2 PLD的几种基本结构 221
可编程只读存储器PROM和可擦除可编程只读存储器EPROM 221
可编程逻辑阵列PLA 222
可编程阵列逻辑PAL 224
通用阵列逻辑GAL 226
可擦除的可编程逻辑器件EPLD 228
现场可编程门阵列FPGA 230
7.3 PLD的编程 234
现代数字系统的设计方法 234
PLD的开发过程 236
7.4在系统编程技术 238
在系统可编程逻辑器件ISP-PLD 239
ISP器件的设计流程 243
在系统编程技术对数字系统的贡献 245
本章小结 247
习题7 248
第8章 命题逻辑 250
8.1命题符号化 250
命题的概念 250
联结词 251
8.2命题公式及其分类 254
8.3命题演算的关系式 257
等价关系式 257
等价关系的性质 258
8.4命题演算的推理 259
推理理论 259
推理证明方法 260
本章小结 263
习题8 264
第9章 谓词逻辑 267
9.1词逻辑的基本概念 267
个体和谓词 267
量词 269
9.2谓词合式公式及其分类 272
9.3谓词演算的关系式 273
9.4谓词演算的推理 276
推理理论 276
推理问题的证明 277
本章小结 278
习题9 278
第10章 集合和函数 281
10.1集合 281
集合的概念及其表示 281
集合间的关系 282
集合的运算 284
10.2集合的计算机表示 288
10.3笛卡儿积 289
序偶和有序n元组 289
笛卡儿积 290
10.4函数（映射） 291
函数的定义 291
特殊函数 292
10.5复合函数（复合映射） 293
10.6反函数（逆映射） 294
本章小结 295
习题10 295
第11章 关系 299
11.1关系的概念 299
11.2关系的表示法 300
用集合表示关系 300
用关系图表示关系 300
用矩阵表示关系 301
11.3关系的运算 302
关系的复合运算 303
逆关系 305
11.4关系的性质 305
11.5关系的闭包 309
11.6等价关系和等价类 311
等价关系 311
等价类 312
11.7偏序关系 313
本章小结 317
习题1.1 318
第12章 图论 321
12.1图的基本概念 321
无向图和有向图 321
度的概念 322
图的分类 324
子图与补图 326
图的同构 327
12.2通路与回路、连通的概念 328
通路与回路 328
连通的概念 329
12.3图的矩阵表示 331
邻接矩阵 331
关联矩阵 334
12.4欧拉图与哈密顿图 335
欧拉图 335
哈密顿图 338
旅行商问题 340
12.5平面图与二分图 340
平面图 340
连通平面图的欧拉公式 341
对偶图与着色 343
二分图 345
12.6树 346
无向树和生成树 346
有向树和有序树 350
本章小结 353
习题12 353
附录A常用逻辑符号对照表 357