等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法

第一章 概述 第二章 数据类型、运算符与表达式 第三章 最简单的C程序 第四章 逻辑运算和判断选取控制 第五章 循环控制 第六章 数组 第七章 函数

2.1 指令系统概述与寻址方式 2.2 数据传送指令（29条） 2.3 算术运算指令（24条） 2.4 逻辑运算与循环类指令（24条） 2.5 控制转移类指令（17条） 2.6 位操作指令

• 2.1 变量及其赋值 • 2.2 矩阵的初等运算 • 2.3 元素群运算 • 2.4 逻辑判断与流程控制 • 2.5 基本绘图方法 • 2.6 M文件及程序调试

2.1 微型机中的数制及其编码 2.1.1 数与数制 2.1.2 不同数制之间的转换 2.1.3 数制数据的编码及其运算 ➢ 1.原码; 2.反码; 3.补码; 4.十进制数的编码((非)压缩BCD码) 2.1.4 非数值数据的编码 2.2 布尔代数和常见逻辑电路 2.3 微型计算机的常用技术术语和技术 2.3.1 常用单位及术语; 2.3.2 常见技术

2.1 数值数据的表示方法 2.2 非数值数据的表示方法 2.3 定点加法、减法运算 2.4 定点乘法运算 2.5 定点除法运算 2.6 逻辑运算和移位运算 2.7 定点运算器的组成与结构 2.8 浮点运算方法和浮点运算器 2.9 数据校验码

4.5.1 数据传送类指令 4.5.2 逻辑操作类指令 4.5.3 算术运算类指令 4.5.4 位操作指令 4.5.5 控制类转移指令

第一章 古算题·逻辑·游戏·竞赛 第二章 几何·图形 第三章 啊哈！灵机一动 第四章 概率·运筹·对策 第五章 幻方 第六章 递推·循环·回归

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

3.2 80C51的寻址方式 3.3 数据传送类指令（29条） 3.4 算术运算类指令（24条） 3.5 逻辑运算与循环类指令（24条） 3.6 控制转移类指令（17条） 3.7 位操作类指令（17条）