16.1最简单的门电路 16.2集成TTL门电路 16.3CMs逻辑门电路

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

19.1时序逻辑电路的概述 19.2寄存器 19.3计数器

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

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

命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值

8. 1 概述 8.2 现场可编程逻辑阵列（FPLA） 8. 3 可编程阵列逻辑（PAL） 8. 4 通用阵列逻辑（GAL） 8. 5 可擦除的可编成逻辑器件（EPLD） 8. 6 复杂的可编程逻辑器件（CPLD） 8. 7 现场可编程门阵列（FPGA） 8. 8 在系统可编程通用数字开关（ispGDS） 8.9 PLD的编程

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）5.4 时钟边沿触发的触发器 5.5 触发器逻辑功能的分类及逻辑功能的描述

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）2.3 逻辑函数及其描述方法 2.6 逻辑函数式形式的变换

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案19 6．4 同步时序逻辑电路的设计方法 6．5 时序逻辑电路中的竞争-冒险现象