近代开关理论及数字设计PDF电子书下载

目录 1

译者的话 1

序言 1

第一章 布尔代数与布尔函数 1

1.1 集合，有序集和代数 1

1.2 格及其基本性质 9

1.3 布尔代数及其基本性质 20

1.4 布尔函数及其范式 30

第二章 向量开关代数与向量开关函数 40

2.1 开关代数与开关函数 40

2.2 广义补与转置运算 46

2.3 向量开关代数的性质与向量开关函数 51

2.4 向量开关函数的范式 52

第三章 布尔微分运算 61

3.1 偏导数 61

3.2 布尔函数的级数展开 67

3.3 全微分与全变分 75

3.4 计算布尔导数与微分的图解法和计算机算法 82

第四章 特殊开关函数 88

4.1 单调函数 88

4.2 阈函数 96

4.3 对称函数 103

4.4 功能完备函数 114

第五章 多值逻辑 123

5.1 m值逻辑函数 123

5.2 模糊逻辑及m类逻辑 132

5.3 m类逻辑函数的分析 136

5.4 m类逻辑函数的实现 139

第六章 组合线路的故障检测 152

6.1 用布尔导数（差分）产生测试 152

6.2 单调二级电路的最小故障检测试验的推导 154

6.3 组合线路中多故障的分析 160

6.4 文字命题法 168

6.5 D-演算 174

6.6 D-算法 185

6.7 DALG-11和TEST-DETECT 187

第七章 序列机 197

7.1 基本模型 198

7.2 S.P.分割和格LM 201

7.3 应用O.C.S.P.分割的状态最小化算法 208

7.4 利用S.P.分割的状态编码 219

7.5 序列机的串行分解 237

7.6 序列机的并行分解 240

第八章 正则表达式 249

8.1 正则集和正则表达式 249

8.2 非确定性序列机：等价性和最小化 261

8.3 构造R1R2，R1∪R2，R1∩R2，R1△R2等的状态转移图的方法 274

第九章 序列机的实现 283

9.1 用延时触发器时序线路实现二值序列机的方法 283

9.2 时钟触发器线路的分析 287

9.3 通用综合算法 292

9.4 利用脉冲型时序线路实现序列机 299

9.5 利用基本型（无脉冲）时序线路实现序列机 303

第十章 序列机的检错 319

10.1 导引序列、同步序列和实验的初始准备 319

10.2 判别序列和状态判定 323

10.3 完全检错实验的设计 327

第十一章 应用集成电路的数字设计 333

11.1 数字集成电路 333

11.2 应用TTL/SSI集成电路的数字设计 343

11.3 应用TTL/MSI集成电路的数字设计 348

11.4 应用MOS/LSI集成电路的数字设计 364

第十二章 用微处理器实现数字设计 373

12.1 典型的8080微计算机系统 373

12.2 8080指令系统及汇编语言程序设计 381

12.3 数字设计的微计算机模拟 397

汉英名词对照索引 410