内容介绍
用户评论
全部咨询
内容简介
本书系统地介绍了多值逻辑的代数理论、电路实现方法、逻辑设计技术、开关理论以及在计算机其他领域的应用等.第一篇详细地介绍了完全定义的多值逻辑函数、部分定义的多值逻辑函数以及一元多值逻辑函数的完备性理论.第二篇介绍用CMOs和DYL等电路实现多值逻辑的方法与技术、多值数字系统的逻辑设计以及多值开关理论.第三篇介绍多值逻辑在计算机诊断和容错方面的应用.全书是我国多值逻辑研究成果的总结,可作为计算机及多值逻辑领域研究生的教材或参考书,也可供从事计算机及多值逻辑研究工作的科技人员阅读.
目录
- 前言
第一篇 多值逻辑完备性理论 罗铸楷
第一章 完全多值逻辑函数
1.1 基本概念
1.2 二值逻辑函数集
1.3 线性函数集
1.4 单调函数集
1.5 自对偶函数集
1.6 保分划函数集
参考文献
第二章 完备性定理
2.1 保关系
2.2 二项关系
2.3 正规m(≥4)项关系
2.4 正规三项关系
2.5 完备性定理
参考文献
第三章 部分多值逻辑函数
3.1 基本概念
3.2 极大封闭集
3.3 正规关系的分类
3.4 完备性定理
参考文献
第四章 一元多值逻辑函数
4.1 基本概念
4.2 置换群的分类
4.3 保正则二项关系的置换群
参考文献
第二篇 多值逻辑电路与系统 胡谋
第五章 多值电路与逻辑设计概述
5.1 引言
5.2 多值逻辑电路概述
5.3 多值数字系统结构概述
5.4 多值数字系统逻辑设计概述
习题
参考文献
第六章 CMOS三值及三中取二值电路
6.1 引言
6.2 分压型CMOS三值电路
6.3 自校验CMOS三中取二值电路
6.4 亚阈值CMOS三中取二值电路
6.5 容错-完全自校验-失效保险CMOS三中取二值电路
习题
参考文献
第七章 数字系统的高可靠性设计技术
7.1 引言
7.2 逻辑值冗余理论
7.3 三中取二值逻辑系统
7.4 采用三值逻辑技术的容错数字系统
7.5 数字系统可测试性的三值扫描设计
7.6 基于三值逻辑的内建测试技术
参考文献
第八章 ECSA开关理论及多值开关级代数
8.1 引言
8.2 ECSA开关理论
8.3 用ECSA开关理论分析与设计三值电路
8.4 用ECSA开关理论设计三中取二值电路
8.5 多值开关级代数
习题
参考文献
第九章 多值DYL电路及其逻辑设计
9.1 引言
9.2 多值DYL电路
9.3 多值DYL电路的逻辑设计
习题
参考文献
第三篇 多值逻辑的应用 陈廷槐
第十章 数字电路的检测
10.1 四值逻辑的理论基础
10.2 组合线路的静态测试
10.3 时序线路的静态测试
10.4 组合线路的险象识别与动态测试
10.5 与其它多值逻辑的比较
习题
参考文献
第十一章 多值逻辑的谱理论及其应用 张钻
11.1 谱理论简介
11.2 有限离散正交变换
11.3 谱理论在多值逻辑设计中的应用
习题
参考文献
第十二章 计算机系统诊断与社会诊断
12.1 PMC模型及所需研究的课题
12.2 系统诊断的发展
12.3 三值系统诊断(Ⅰ)
12.4 三值系统诊断(Ⅱ)
12.5 社会诊断
习题
参考文献
第十三章 转移逻辑与模态逻辑
13.1 转移逻辑
13.2 模态逻辑
参考文献