离散数学是现代数学的一个重要分支，它以研究离散量的结构及其相互间的关系为主要目标，充分体现了计算机科学离散性的特点。离散数学是计算机科学中基础理论的核心课程，是一门必不可少的工具性学科，为后续课程的学习提供理论和方法支持。本课程着重培养学生抽象思维和逻辑推理能力；培养学生利用离散结构的知识建模和求解问题的能力；培养学生正确认识问题、分析问题和解决问题的能力。作为软件工程专业重要的专业基础课和必修课，它与数据结构与算法设计、数据库系统原理、计算机网络、编译原理、人工智能等课程有着紧密的关系。

课程目标1：掌握命题逻辑的知识，达到能进行命题符号化和形式化推理的能力，深刻认识汉语的博大精深，树立学生对民族语言的自豪感。

课程目标2：掌握集合论和函数的知识，达到能使用集合和函数描述问题，并有判断和证明关系与函数相关性质的能力，能够正确认识和处理国家、集体与个人利益的辩证关系。

课程目标3：掌握图论的知识，达到使用图论知识表达和解决软件工程中有关问题的能力，从最小生成树理论中引导学生坚持节约资源和保护环境的基本国策。

平时作业×25%+期中考试×15%+期末考试×60%

高等数学，线性代数。

1、《离散数学 理论·分析·题解》，左孝凌、李为鑑、刘永才编著，上海科技文献出版社，1988年第1版。

2、《Discrete Mathematics and Its Applications, Seventh Edition》，Kenneth H.Rosen，The McGraw-Hill Companies，2012。

3、www.mhhe.com/rosen

4、《离散数学（第五版）》，耿素云，张立昴编著，清华大学出版社，2013年第五版。

5、《离散数学》(第三版)，方世昌编著，西安电子科技大学出版社，2009年。