课程主要教学目标为培养学生的抽象思维能力、符号表达能力以及思维严密性，通过课堂教学、分组讨论、课后自学等方式的教学过程，使学生掌握离散系统的基础理论和基本分析方法，了解和掌握处理离散结构所必需的描述工具和方法。为学生进一步学习有关的计算机类课程以及今后从事本专业的应用与开发打下必要的数学基础。课程要求掌握数理逻辑、集合论、代数系统和图论等离散数学的基本概念和基本原理，为学习计算机专业各后续课程做好必要的知识准备。进一步提高学生的抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。通过课程的学习，要求学生能够达到对概念和定理透彻理解，自如运用的程度。

课程的具体目标为：

1.       掌握集合论、代数系统和图论等离散数学的基本概念，能够将这些知识用于软件领域复杂工程问题建模。

2.       掌握数理逻辑、代数系统和图论等离散数学的基本分析方法，能够运用命题逻辑和谓词逻辑进行分析推导，能够运用集合和关系进行分析和判断，能够用图论进行复杂问题的分析，能够将离散数学的专业知识用于求解软件领域复杂工程问题。

3.       理解集合论、代数系统和图论等离散数学的基本原理，能够了解各种代数系统，能够区分具体问题和抽象问题，能够辨识和判定软件领域复杂工程问题。

4.       了解和掌握处理离散结构所必需的描述工具和方法，提高学生的抽象思维和逻辑推理能力、符号表达能力、思维的严密性，通过课程的学习，要求学生能够把相关的概念和定理透彻地理解，能够抽象和描述软件领域复杂工程问题。

该课程采用过程化考核机制。其总成绩分为期末考试和平时成绩两大部分，各占50%。其中，平时成绩主要考核学生的作业、实验和自主学习三方面的表现。

【1】《离散数学》，左孝凌等，上海科学技术文献出版社，2018

【2】《离散数学（第三版）》，耿素云等著，清华大学出版社，2014

【3】《离散数学及其应用（原书第8版·本科教学版）》，肯尼思·H.罗森著，机械工业出版社，2020