计算机科学导论PDF电子书下载

前言 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