通过本课程的学习，

（1）使学生掌握离散数学集合论、代数系统及图论等基本概念、基本内容，熟悉各知识点的基本解题技能，能够将代数系统中有关群的相关定理和图论中欧拉图及汉密尔顿图的判定和识别方法熟练应用于计算机及应用领域的相关复杂工程中去，学会运用离散数学建立数学模型，为后续问题的计算机求解工作打下理论基础。

（2）借助命题逻辑和谓词逻辑相关知识，让学生掌握等价公式的变化，真值表法、直接证法、间接证法等推理方法，进而培养学生的计算思维能力和逻辑推理能力，并结合应用数学、自然科学和工程科学的基本知识，提高学生对计算机及应用领域复杂工程问题的理论分析和推导论证能力，从理论上证明所设计算法和方案的可行性。

通过课程学习，使学生理解离散数学的数学思想和基本概念，掌握离散数学常用的基本方法、手段、技巧，并具备一定的分析论证能力和较强的运算能力，能将常用的离散数学思想方法运用到计算机科学中解决相关的实际问题。通过课程学习，使学生在学习数理逻辑与代数系统知识的基础上，具有较好的抽象能力、逻辑思维能力、归纳构造能力，以及针对计算机及应用领域的具体问题进行数学建模的能力。

本课程采用闭卷考试方式，学业成绩的构成：平时×30% ＋ 期末×70%，其中平时成绩包括四个上机、出勤和作业完成情况。

线性代数，高等数学

[1] 左孝凌等. 离散数学: 理论.分析.题解[M].上海：上海科技文献出版社，2011

[2] 方世昌. 离散数学[M].西安：西安电子科技大学出版社，2000

[3] Kenneth H.Rosen 著. 离散数学及其应用[M].北京：机械工业出版社，2008