第5章数组和广义表 要点: 1、掌握数组元素存储位置的换算 2、了解特殊矩阵地存储方法和元素存储位置计算 3、了解广义表的长度、深度、head、tail等概念和操作和存储结构

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

第3章集合的基本概念和运算 3.1集合的基本概念与表示 3.2集合的基本运算 3.3集合元素的计数 3.4例题选解

4.1序偶与笛儿积4,7序关系 4.2关系及表示 4.3关系的运算 4.4关系的性质 4.5关系的闭包

8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解

6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解

5.1二元运算及其性质 5.2代数系统 5.3代数系统的同态与同构 5.4例题选解

3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3 集合元素的计数 3.4 例题选解 习题三

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二