目录 1
出版说明 1
第一编 数字计算机的程序设计 1
§1 序言 1
§2 什么是数字型计算机 2
§3 计算机的程序（1） 5
§4 计算机的程序（2）——程序框图 10
§5 指命的修改 15
§6 记号地址 17
§7 子程序 19
§8 子程序的参数 22
§9 解释子程序 24
§10 输入程序（辅助程序） 27
§11 输入转换程序 28
§12 小数点定位及其他 31
§13 程序的检查 34
§14 展望 35
第二编 逻辑线路和自动机理论 40
§15 序言 40
第1章 逻辑代数 42
§16 逻辑函数和逻辑式 42
§17 主加法标准形 48
§18 其他的基本逻辑操作 50
§19 单调函数 53
§20 逻辑代数的代数化 54
§21 逻辑操作的物理实现Ⅰ 56
§22 逻辑操作的物理实现Ⅱ（电子元件） 60
§23 三变数函数 64
§24 多变数函数 68
§25 多输出线路 72
第2章 有限自动机的理论 77
§26 自动机和逻辑代数 77
§27 环及路程差 80
§28 自动机理论问题的展望 83
§29 迁移图 84
§30 基本线路的例子 87
§31 时钟 89
§32 状态的等价性，迁移图的简化 91
§33 操作表 94
§34 确定性和非确定性 97
§35 事件的正规表现 100
§36 有限自动机的状态的正规表现 106
§37 正规事件的物理实现 109
第3章 Turing计算机 114
§38 Turing机器与计算 114
§39 Turing计算机的标准化 116
§40 通用Turing机 120
第4章 作为自动机的电子计算机 126
§41 电子计算机的组成 126
§42 变参元件的运算线路 132