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

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

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

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

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

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

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

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

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

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