- 作 者：（德）冈特·霍茨（Gunter Hotz）著；石茵译
- 出 版 社：北京：北京航空航天大学出版社
- 出版年份：1999
- ISBN：7810128132
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
11
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
前言 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