本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.1 数制与编码 1.1.1 数制 1.1.２ 数制间的转换 1.1.3 编码 1.2 逻辑代数 1.2.1 逻辑变量与逻辑函数的概念 1.2.2 三种基本逻辑及运算 1.2.3 复合逻辑及其运算 1.2.4 逻辑函数的描述 1.2.5 逻辑代数的定律、规则及常用公式 1.3 逻辑函数化简 1.4 VHDL语言描述

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

本章要求: >掌握组合逻辑电路的基本分析方法和一般设计过程 >掌握常见逻辑模块的功能及其使用 >掌握实际逻辑电路中冒险现象的形成原理及其防止

第一章 数字逻辑基础 第三章 组合逻辑电路 第四章 触发器 第五章 时序逻辑电路 第六章 数字系统 第七章 可编程逻辑器件 PLD Programmable Logic Device

复旦大学电子工程系：数字逻辑基础_第5章 异步时序电路

本章要求: >掌握同步时序电路的基本分析过程 >掌握同步时序电路的设计原理 掌握状态表的化简过程

• 数学概念 • 数学命题 • 数学证明

本章要求: >掌握触发器的基本类型及其状态描述 >了解触发器的结构与工作原理 >掌握触发器的基本应用电路