《多值逻辑的理论及应用》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:罗铸楷等著
  • 出 版 社:北京:科学出版社
  • 出版年份:1992
  • ISBN:7030026276
  • 页数:365 页
图书介绍:中国科学院科学出版基金资助项目:介绍了多值逻辑的代数理论、电路实现方法、逻辑设计技术、开关理论以及在计算机其它领域的应用等。

第一篇 多值逻辑完备性理论 罗铸楷 1

第一章 完全多值逻辑函数 2

1.1 基本概念 2

1.2 二值逻辑函数集 6

1.3 线性函数集 9

1.4 单调函数集 17

1.5 自对偶函数集 21

1.6 保分划函数集 26

参考文献 30

2.1 保关系 32

第二章  完备性定理 32

2.2 二项关系 38

2.3 正规m(≥4)项关系 41

2.4 正规三项关系 48

2.5 完备性定理 57

参考文献 59

第三章  部分多值逻辑函数 60

3.1 基本概念 60

3.2 极大封闭集 67

3.3 正规关系的分类 76

3.4 完备性定理 83

参考文献 94

第四章  一元多值逻辑函数 95

4.1 基本概念 95

4.2 置换群的分类 99

4.3 保正则二项关系的置换群 103

参考文献 114

第二篇  多值逻辑电路与系统 胡谋  117

第五章  多值电路与逻辑设计概述 118

5.1 引言 118

5.2 多值逻辑电路概述 121

5.3 多值数字系统结构概述 133

5.4 多值数字系统逻辑设计概述 134

习题 163

参考文献 165

第六章  CMOS三值及三中取二值电路 166

6.1 引言 166

6.2 分压型CMOS三值电路 166

6.3 自校验CMOS三中取二值电路 175

6.4 亚阈值CMOS三中取二值电路 180

6.5 容错-完全自校验-失效保险CMOS三中取二值电路 182

习题 189

参考文献 190

7.1 引言 191

7.2 逻辑值冗余理论 191

第七章  数字系统的高可靠性设计技术 191

7.3 三中取二值逻辑系统 196

7.4 采用三值逻辑技术的容错数字系统 210

7.5 数字系统可测试性的三值扫描设计 217

7.6 基于三值逻辑的内建测试技术 220

参考文献 224

第八章  ECSA开关理论及多值开关级代数 225

8.1 引言 225

8.2 ECSA开关理论 226

8.3 用ECSA开关理论分析与设计三值电路 234

8.4 用ECSA开关理论设计三中取二值电路 239

8.5 多值开关级代数 241

习题 254

参考文献 254

第九章  多值DYL电路及其逻辑设计 255

9.1 引言 255

9.2 多值DYL电路 255

9.3 多值DYL电路的逻辑设计 259

习题 263

参考文献 263

第三篇  多值逻辑的应用 陈廷槐  265

第十章  数字电路的检测 266

10.1 四值逻辑的理论基础 266

10.2 组合线路的静态测试 286

10.3 时序线路的静态测试 295

10.4 组合线路的险象识别与动态测试 296

10.5 与其它多值逻辑的比较 305

习题 309

参考文献 309

第十一章  多值逻辑的谱理论及其应用 张钻  310

11.1 谱理论简介 310

11.2 有限离散正交变换 311

11.3 谱理论在多值逻辑设计中的应用 319

习题 327

参考文献 327

12.1 PMC模型及所需研究的课题 328

第十二章  计算机系统诊断与社会诊断 328

12.2 系统诊断的发展 336

12.3 三值系统诊断(Ⅰ) 340

12.4 三值系统诊断(Ⅱ) 344

12.5 社会诊断 349

习题 354

参考文献 355

第十三章  转移逻辑与模态逻辑 357

13.1 转移逻辑 357

13.2 模态逻辑 361

参考文献 365