大纲――另一个版本

《457离散数学（软）》
一、适用于报考的专业:软件工程
二、题目类型:简答题、证明题、画图题、填空题
三、参考教材:
1.《离散数学》 编者:耿素云，屈婉玲，张立昂   清华大学
出版社
2.《离散数学》 编者:左孝凌，李为鉴，刘永才 上海科学
技术文献出版社
3.《离散数学》 编者:李盘林，李丽双，李萍，王春立   高
等教育出版社
四、基本内容:
1.数理逻辑:命题逻辑中的公式、真值表、等价公式、对偶
式、蕴含式、联结词的功能完全组、范式、主范式、推理理论；
谓词逻辑中的基本概念、公式、约束变元、解释与赋值、逻辑有
效、等价式、变换规则、蕴含式、范式、推理理论；
2.集合论:公理化集合论、关系、关系的性质、等价与划分、
相容与覆盖、函数、基数；
3.代数结构:代数结构一般概论、理论、同态与同构、同余、
半群、群、格、布尔代数；
4.图论:图论的一般概念及其特殊图（有欧拉图、哈密尔顿
图、二部图、平面图和树理论）

《457数据结构(软)》
       一、适用于报考的专业:软件工程
       二、题目类型:简答题、选择题 、算法设计题
       三、参考教材:《数据结构（C语言版）》 编者:严蔚敏，吴伟民
                    清华大学出版社
       四、基本内容:
           1.数据结构的基本概念、算法的时间复杂度和空间复杂度的
       定义和表示方法。
           2.线性表、栈、队列的逻辑结构、存储结构及其相关算法。
           3.串的有关概念、基本运算、存储表示和模式匹配算法
           4.多维数组的顺序存储结构及地址计算公式，矩阵的压缩存
       储，广义表的有关概念、存储结构及运算。
           5.树与二叉树的有关概念及存储结构，树与二叉树的转换方
       法，线索二叉树和哈夫曼树的概念及其构造算法。
           6.图的有关概念及其存储结构，图的各种遍历算法及应用，
       最小生成树、拓扑排序、最短路径及关键路径的概念及算法。
           7.线性表的查找算法，散列表的有关概念及算法，二叉排序
       树的概念及算法、平衡二叉树、B-树和B+树的定义及主要运算。
           8.各种插入排序、快速排序（交换排序）、选择排序、归并排
       序和基数排序的方法及算法。
           9.顺序文件、索引文件、散列文件和倒排文件的组织方式。
           10.分析各种算法的时间复杂度和空间复杂度。