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

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

6.1时序电路概述 6.3寄存器、移位寄存器 6.2时序逻辑电路的分析 6.4计数器

6.1时序电路概述 6.2时序逻辑电路的分析 6.3寄存器、移位寄存器 6.4计数器

17.1组合逻辑电路的基本知识 17.2常见的组合逻辑电路

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）6.4.1 简单同步时序逻辑电路的设计 6.4.2 复杂时序逻辑电路的设计 6.5 时序逻辑电路中的竞争—冒险现象

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案15 6．1 时序逻辑电路的特点和逻辑功能的描述 6．2 时序逻辑电路的分析方法

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案3 2.6 逻辑函数式形式的变换 2.4.1 公式化简逻辑函数 2.3 逻辑函数及其描述方法（2.3.1、2.3.2）

一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象