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 例题选解 习题二

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

第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

第9章排序 要点: 1、熟练掌握各种排序方法的排序过程; 2、掌握各种排序的算法(简单插入、交换、选择法,希尔排序,快速排序,堆排序) 3、哪些排序算法是稳定排序,哪些是不稳定排序; 4、各排序算法的时空性能分析

第7章图 要点: 1、图的逻辑结构和基本概念; 2、图的存储表示; 练习: 1、具有n个顶点的完全有向图的弧数为

第6章树 要点: 1、掌握树和二叉树的逻辑结构和基本概念 2、掌握二叉树的性质、二叉链存储、遍历及其相关算法 3、二叉树与树、森林的转换

第4章串 要求:逻辑结构和顺序存储表示算法(顺序串) 1、简述空串和空格串(或称空格字符串)的区别。 2、已知下列字符串