2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

4.1组合逻辑电路的分析 4.2组合逻辑电路的设计 4.3常用MSI组合逻辑器件及应用 4.4组合逻辑电路中的竞争与冒险

4.1组合逻辑电路的分析 4.2组合逻辑电路的设计 4.3常用MSI组合逻辑器件及应用 4.4组合逻辑电路中的竞争与冒险

目 录 第一章 数字电路基础知识 1.1 数字信号与模拟信号 1.2 数制 1.3 码制 1.4 算数运算与逻辑运算 1.5 数字电路的学习指导 第二章 逻辑函数及其简化 2.1 逻辑代数 2.2 逻辑函数的简化 第三章 集成逻辑门 3.1 晶体管的开关特性 3.2 TTL集成逻辑门 3.3 CMOS集成逻辑门电路 第四章 组合逻辑电路 4.1 组合逻辑电路的分析 4.2 组合逻辑电路的设计 4.3 组合逻辑电路的竞争- 冒险现象 目 录 第五章 触发器 5.1 基本RS触发器 5.2 RS触发器 5.3 JK触发器 5.4 D触发器 5.5 T触发器和T`触发器 5.6 各种触发器功能的比较和电路结构 5.7 触发器的应用 第六章 时序逻辑电路 6.1 时序逻辑电路分析 6.2 时序逻辑电路设计 第七章 数字电路的制图与读图 7.1 数字电路的制图 7.2 数字电络的读图 第八章 半导体存储器 8.1 概述 8.2 顺序存取存储器 8.3 随即存取存储器 8.4 只读存储器 8.5 存储器的应用举例 第九章 可变器件及电子设计自动化软件 9.1 可编程器件 9.2 可编程器件的编程工具及编程模式 第十章 脉冲单元电路 10.1 脉冲信号 10.2 标准集成电路构成的脉冲单元电路 10.3 555定时器及应用 第十一章 数/模转换器和模/数转换器 11.1 数/模与模/数转换器概述 11.2 数/模转换器 11.3 模/数转换器 11.4 集成数/模和模/数转换器件及其应用

一、填空 1、使用PROM实现组合逻辑时，应首先把逻辑函数 变换成____，而使用PLA实现组合逻辑时，应首先把 逻辑函数变换成___。（A：最小项表达式，B：最大 项表达式，C：最简与或式 ）

8.0概述 8.1可编程阵列逻辑(PAL)器件 8.2通用逻辑阵列(GAL器件 8.3复杂可编程逻辑器件(CPLD)

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

2.1 可编程逻辑器件概述 2.2 复杂可编程逻辑器件(CPLD) 2.3 现场可编程门阵列(FPGA) 2.4 在系统可编程(ISP)逻辑器件 2.5 FPGA和CPLD的开发应用选择

– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用

第四章组合逻辑模块及其应用 4.1编码器 一编码器的基本概念及工作原理 编码——将特定的逻辑信号编为一组二进制代 码。 能够实现编码功能的逻辑部件称为编码器。 一般而言,N个不同的信号,至少需要n位二进制 数编码