4.1概述(组合逻辑电路的特点和功能描述) 4.2组合逻辑电路的分析方法和设计方法 4.3若干常用的组合逻辑电路 编码器、译码器、 数据选择器、加法器、数值比较器 4.4组合逻辑电路中的竞争冒险现象 成因、检查和消除方法

• 可编程逻辑器件的发展进程和分类 • 复杂可编程逻辑器件（CPLD） • 现场可编程门阵列（FPGA） • 可编程逻辑器件的编程与配置 • 可编程逻辑器件应用选择原则

同步时序逻辑电路采用时钟脉冲对电路进行控制，由时钟脉冲决定 电路状态的转换。 异步时序逻辑电路不采用时钟脉冲控制，电路状态改变仅受输入信 号的控制。可分为脉冲异步时序逻辑电路和电平异步时序逻辑电路

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

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

一：逻辑代数的基本定律 二：逻辑代数的三个重要规则 三：异或和同或运算公式 四：逻辑函数表达式的常用形式 五：逻辑函数表达式的相互转换

前面讨论的组合逻辑电路的分析和设计, 是假定输入输出处于稳定的逻辑电平下进行 的。对于实际电路来说，当所有的输入信号 逻辑电平发生变化的瞬间，电路的输出可能 出现违背稳态下的逻辑关系，尽管这种不希 望有的输出是暂时的，但它仍会导致被控对 象的误动作。为此，组合电路设计完成后要 进行竞争与冒险分析

6.1 概述 6.2 时序逻辑电路的分析方法 6.3 若干常用的时序逻辑电路 6.4 时序逻辑电路的设计方法 6.5 时序逻辑电路中的竞争——冒险现象

• 10.1 数字电路概述 • 10.2 逻辑门电路 • 10.3 逻辑函数及其化简 • 10.4 组合逻辑电路的分析与设计 • 10.5 组合逻辑部件

6.1 概述 6.2 时序逻辑电路的分析方法 6.4 时序逻辑电路的设计方法 6.3 若干常用的时序逻辑电路 6.5 时序逻辑电路中的竞争-冒险现象