近代开关理论及数字设计

1 (p1): 目录
1 (p1-2): 译者的话
1 (p1-3): 序言
1 (p1-4): 第一章 布尔代数与布尔函数
1 (p1-5): 1.1 集合，有序集和代数
9 (p1-6): 1.2 格及其基本性质
20 (p1-7): 1.3 布尔代数及其基本性质
30 (p1-8): 1.4 布尔函数及其范式
40 (p1-9): 第二章 向量开关代数与向量开关函数
40 (p1-10): 2.1 开关代数与开关函数
46 (p1-11): 2.2 广义补与转置运算
51 (p1-12): 2.3 向量开关代数的性质与向量开关函数
52 (p1-13): 2.4 向量开关函数的范式
61 (p1-14): 第三章 布尔微分运算
61 (p1-15): 3.1 偏导数
67 (p1-16): 3.2 布尔函数的级数展开
75 (p1-17): 3.3 全微分与全变分
82 (p1-18): 3.4 计算布尔导数与微分的图解法和计算机算法
88 (p1-19): 第四章 特殊开关函数
88 (p1-20): 4.1 单调函数
96 (p1-21): 4.2 阈函数
103 (p1-22): 4.3 对称函数
114 (p1-23): 4.4 功能完备函数
123 (p1-24): 第五章 多值逻辑
123 (p1-25): 5.1 m值逻辑函数
132 (p1-26): 5.2 模糊逻辑及m类逻辑
136 (p1-27): 5.3 m类逻辑函数的分析
139 (p1-28): 5.4 m类逻辑函数的实现
152 (p1-29): 第六章 组合线路的故障检测
152 (p1-30): 6.1 用布尔导数（差分）产生测试
154 (p1-31): 6.2 单调二级电路的最小故障检测试验的推导
160 (p1-32): 6.3 组合线路中多故障的分析
168 (p1-33): 6.4 文字命题法
174 (p1-34): 6.5 D-演算
185 (p1-35): 6.6 D-算法
187 (p1-36): 6.7 DALG-11和TEST-DETECT
197 (p1-37): 第七章 序列机
198 (p1-38): 7.1 基本模型
201 (p1-39): 7.2 S.P.分割和格LM
208 (p1-40): 7.3 应用O.C.S.P.分割的状态最小化算法
219 (p1-41): 7.4 利用S.P.分割的状态编码
237 (p1-42): 7.5 序列机的串行分解
240 (p1-43): 7.6 序列机的并行分解
249 (p1-44): 第八章 正则表达式
249 (p1-45): 8.1 正则集和正则表达式
261 (p1-46): 8.2 非确定性序列机：等价性和最小化
274 (p1-47): 8.3 构造R1R2，R1∪R2，R1∩R2，R1△R2等的状态转移图的方法
283 (p1-48): 第九章 序列机的实现
283 (p1-49): 9.1 用延时触发器时序线路实现二值序列机的方法
287 (p1-50): 9.2 时钟触发器线路的分析
292 (p1-51): 9.3 通用综合算法
299 (p1-52): 9.4 利用脉冲型时序线路实现序列机
303 (p1-53): 9.5 利用基本型（无脉冲）时序线路实现序列机
319 (p1-54): 第十章 序列机的检错
319 (p1-55): 10.1 导引序列、同步序列和实验的初始准备
323 (p1-56): 10.2 判别序列和状态判定
327 (p1-57): 10.3 完全检错实验的设计
333 (p1-58): 第十一章 应用集成电路的数字设计
333 (p1-59): 11.1 数字集成电路
343 (p1-60): 11.2 应用TTL/SSI集成电路的数字设计
348 (p1-61): 11.3 应用TTL/MSI集成电路的数字设计
364 (p1-62): 11.4 应用MOS/LSI集成电路的数字设计
373 (p1-63): 第十二章 用微处理器实现数字设计
373 (p1-64): 12.1 典型的8080微计算机系统
381 (p1-65): 12.2 8080指令系统及汇编语言程序设计
397 (p1-66): 12.3 数字设计的微计算机模拟
410 (p1-67): 汉英名词对照索引