0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 中图分类 > O 数理科学和化学 > O1 数学 > O14 数理逻辑、数学基础 > 多值逻辑的理论及应用

浏览历史

多值逻辑的理论及应用


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
多值逻辑的理论及应用
  • 书号:7030026284
    作者:
  • 外文书名:
  • 装帧:
    开本:
  • 页数:0
    字数:541000
    语种:
  • 出版社:科学出版社
    出版时间:
  • 所属分类:O14 数理逻辑、数学基础
  • 定价: ¥19.10元
    售价: ¥15.09元
  • 图书介质:

  • 购买数量: 件  缺货,请选择其他介质图书!
  • 商品总价:

相同系列
全选

内容介绍

用户评论

全部咨询

内容简介
本书系统地介绍了多值逻辑的代数理论、电路实现方法、逻辑设计技术、开关理论以及在计算机其他领域的应用等.第一篇详细地介绍了完全定义的多值逻辑函数、部分定义的多值逻辑函数以及一元多值逻辑函数的完备性理论.第二篇介绍用CMOs和DYL等电路实现多值逻辑的方法与技术、多值数字系统的逻辑设计以及多值开关理论.第三篇介绍多值逻辑在计算机诊断和容错方面的应用.全书是我国多值逻辑研究成果的总结,可作为计算机及多值逻辑领域研究生的教材或参考书,也可供从事计算机及多值逻辑研究工作的科技人员阅读.
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 前言
    第一篇 多值逻辑完备性理论 罗铸楷
    第一章 完全多值逻辑函数
    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 模态逻辑
    参考文献
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证