《近代开关理论及数字设计》求取 ⇩

目录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-DETECT187

第七章 序列机197

7.1 基本模型198

7.2 S.P.分割和格LM201

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