第一节 归纳逻辑概述 第二节 简单枚举归纳推理 第三节 科学归纳推理 第四节 探寻现象间因果关系的逻辑方法 第五节 概率归纳推理 第六节 统计归纳推理 第七节 类比推理

概述 触发器是时序逻辑电路的基本单元 组合逻辑电路的输出状态完全由当时的输入变量 的组合状态决定,与电路的原状态无关。 时序逻辑电路的输出状态不仅决定于当时的输入状 态,而且与电路原来的状态有关,具有记忆功能

10.1逻辑代数基本概念、公式和定理 10.2逻辑函数的化简方法 10.3逻辑函数的表示方法及其相互之间的转换

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

第一章 数制与码制 第二章 逻辑代数基础 第四章 组合逻辑电路 第五章 触发器(Flip — Flop) 第六章 时序逻辑电路 第七章 脉冲信号和变化 第八章 D/A和A/D变换 第九章 半导体存储器 第十章 可编程逻辑器件 第十二章 数字系统设计基础

4.1 概述 4.3 若干常用组合逻辑电路 4.4 组合逻辑电路中的竞争——冒险现象 4.5 用multisim分析组合逻辑电路

1、时序逻辑电路的特点、功能表示方法、分类； 2、时序逻辑电路基本分析方法、设计方法； 3、常用时序逻辑电路

1、组合逻辑电路的特点、分析方法和设计方法 2、各种常用典型组合逻辑电路的工作原理和使用方法 3、组合逻辑电路的竞争冒险现象

10.1逻辑代数基本概念、公式和定理 10.2逻辑函数的化简方法 10.3逻辑函数的表示方法及其相互之间的转换

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