研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

一、ABEL语言逻辑方程设计法 逻辑方程是ABEL源文件描述逻辑设计 的一种方法。它既可进行组合逻辑设计, 也可进行时序逻辑设计,但有时不如真值 表和状态图逻辑设计简单、易懂 但任何一种逻辑描述方式,经EDA软件 编译后,都会变成逻辑方程的形式

一、逻辑门电路设计 例1:用数据流描述方式设计一个4输入“与或非”逻辑门

第7章时序逻辑设计原理(一) 一、锁存器和触发器 二、同步时序分析 三、同步时序设计

一、数制与编码 二、逻辑代数 三、基本逻辑门电路 四、汽车常用组合逻辑器件

一、布尔代数 二、 逻辑门 三、组合逻辑电路 四、时序电路

一、 组合逻辑电路设计 二、时序逻辑电路设计

基本的逻辑关系是与或非,一个复杂的逻辑函数是 由这些基本关系组合而成的。 基本的逻辑门是与或非门,一个复杂的逻辑电路是 由这些基本逻辑门连接成的。 门电路是逻辑关系的基本硬件单元。按制作工艺的 不同,可分为双极型逻辑门和MOS型逻辑门

逻辑指令: 一、逻辑运算指令 AND、OR、NOT、XOR、TEST

一、引言 二、关于教育技术学的逻辑起点 三、由教育技术逻辑起点引发的思考