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

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

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）

9.1 概述 9.4 逻辑代数 9.2 基本逻辑门 9.3 集成逻辑门电路

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、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统