离散数学课程是计算机类专业的专业基础课程, 主要研究具有离散量的结构和相互关系。通过本课程的学习，不仅能为学生学习数字电路、操作系统、数据结构、人工智能、编译原理等后续课程奠定理论基础，而且能培养学生抽象思维能力、逻辑推理和创新能力，为将来从事计算机相关行业的软、硬件应用开发和理论研究打下坚实的理论基础。

Ø 知识目标

（1）    掌握数理逻辑的相关概念和证明推理方法。

（2）    掌握集合与关系的相关概念及证明方法。

（3）    掌握函数的相关概念及其运算方法。

（4）    掌握图论的相关概念及证明方法。

Ø 能力目标

（1）    具备推理论证的基本方法和技巧。

（2）    能够对关系中的运算进行计算机编程实现

（3）    能够使用图论中的理论解决现实问题

Ø 素质目标

（1）    通过课程的学习，提高计算机专业学生学习基础理论知识的兴趣。

（2）    通过课程的学习，培养学生的计算机思维水平。

（3）    通过课程的学习，引导学生更深入地对专业方向进行探索。

《线性代数》，主要涉及矩阵的基本概念和相关运算；没有学过影响也不是很大。

《离散数学》，左孝凌主编，上海科技文献出版社出版社

《离散数学》第2版，屈婉玲等，高等教育出版社

《离散数学及其应用》第七版，Kenneth H.Rosen，机械工业出版社