多值逻辑的理论及应用pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

多值逻辑的理论及应用PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一篇 多值逻辑完备性理论 罗铸楷 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