离散数学是计算机科学中基础理论的核心课程，也是培养学生严格的逻辑推理和抽象思维能力，提高学生素质的核心课程。其任务是为学习计算机专业理论打下扎实的数学基础。离散数学与数据结构、操作系统、
编译理论、算法分析、逻辑设计、系统结构、客错与诊断、机器定理证明等课程联系紧密。因此，在最初的国外教材中，取材各异，侧重不同，为了适应教学的需要，通过近十几年来的教学实践，内容逐步统一。现基本包括数理逻辑、集合论、代数结构、图论、自动机理论等方面内容。
二、对选修课的要求
无具体要求，但学生须接受过一定的数学训练。因本课程概念多，方法各异。需具有一定的逻辑思维逻辑推能力，且须投入较多的精力。
三、考试主要内容
主要内容要求
第一章命题逻辑
1.命题及其表示A
2.联结词A
3.命题式与翻译A
4.真值表与等价公式A
5.重言式与蕴含式A
6.其它联结词C
7.对偶与范式B
8.推理理论B
第二章谓词逻辑
1.谓词的概念与表示A
2.命题函数与量纲A
3.谓词公式与翻译A
4.变元的约束A
5.谓词演算的等价式与蕴涵式A
6.前束范式B
7.谓词演算的推理理论C
第三章集合与关系
第四章1.集合的概念与表示法A
2.集合的运算A
*3.包含排斥原理B
4.序偶及笛卡尔积B
5.关系及其表示B
6.关系的性质B
7.复合关系和逆关系B
8.关系的闭包运算B
9.集合的离散数学划分和覆盖B
10.等价关系与等价类A
11.相容关系B
12.序关系A
第五章图论
1.图A
2.路与回路B
3.图的矩阵表示B
4.欧拉图与汉密尔顿图A
5.平面图B
6.对偶图与着色B
7.树与生成树A
8.根树及其应用B
四、主要教材及参考书：
1左孝凌等编离散数学上海科技文献出版社
2左孝凌等编离散数学——理论分析题解上海科技文献出版社
3徐洁磐离散数学导论高等教育出版社
4方世昌编离散数学西安电子科技大学出版社
相关热词：