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

1 关系表达式 2 逻辑表达式 3 逻辑if语句 4 用块if实现选择结构

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

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

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

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

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

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

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.一阶逻辑推理规则