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

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.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

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

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

2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言Verilog HDL基础

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

2.0 引言(Introduction) 2.1 逻辑代数(Boolean Algebra) 2.2 逻辑函数的卡诺图化简 2.3 硬件描述语言(HDL)基础

2.1基本逻辑门电路 2.2TTL逻辑门电路 2.3CMOS逻辑门电路 2.4集成运放运算电路

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