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

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

1、逻辑(Logic) 2、集合(Sets) 3、算法(Algorithms) 4、数论(Number Theory)

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

3.1数字集成电路的分类口 3.2TTL集成逻辑门 3.3Mo集成逻辑门 3.4集成门电路使用中的实际问题

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

一、DTL逻輯门路 二、晶体管-晶体管逻辑门电路(TTL）

合肥工业大学：《数字电子技术基础》课程教学资源（课件讲稿）第二章 逻辑代数基础（逻辑函数的化简方法、具有无关项的逻辑函数及其化简）

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

2.1 理想开关 2.2 MOSFET开关 2.3 基本的CMOS逻辑门 2.4 CMOS复合逻辑门 2.5 传输门电路 2.6 时钟控制和数据流控制