第一章 数制和码制 第二章 逻辑代数基础 第三章 门电路 第四章 组合逻辑电路 第五章 半导体存储电路 第六章 时序逻辑电路 第七章 脉冲波形的产生和整形电路 第八章 数——模和模——数转换

一、组合逻辑电路的基本概念 二、SSI构成的组合逻辑电路的分析和设计 三、MSI组合逻辑电路的工作原理及应用 四、组合逻辑电路中的竞争和冒险 五、习题讲解

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

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

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

4.1 概述 4.2 组合逻辑电路的分析与设计 4.3 常用组合逻辑电路 4.4 用PLD实现组合电路 4.5 组合逻辑电路的竞争与冒险

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

第一章 引论 第二章 命题逻辑 第三章 词项逻辑

7-1 概述 7-2 模糊逻辑控制技术软件的开发工具（Pop Fuzzy 2.0） 8-1 模糊逻辑硬件电路 8-2 模糊计算机

第一章 数制和码制 第二章 逻辑代数基础 第三章 门电路 第四章 组合逻辑电路 第五章 半导体存储电路 第六章 时序逻辑电路 第七章 脉冲波形的产生和整形电路 第八章 数——模和模——数转换