离散数学研究离散结构及其相互关系，是计算机科学与工程专业的核心基础课，是数据结构、编译原理、数据库、计算机组成原理、算法分析、人工智能、计算机网络等计算机专业课程的数学基础。

       这门课程对离散数学的理论进行系统的阐述，对离散结构的表示、分析和证明方法进行严谨的介绍。通过丰富的应用实例介绍离散系统的建模和分析方法，帮助同学们在掌握基础理论的同时，理解离散数学理论在解决实际问题中的应用，提高学生应用理论知识分析问题和解决问题的能力，培养和提高逻辑思维能力和计算思维能力。

       本课程学习数理逻辑，集合、关系和函数，图论的基本概念、分析和证明方法，为后续计算机学科相关课程学习打下坚实的理论基础。

        离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

作业20%，期中10%，期末70%

线性代数

• 陈琼、马千里、周育人、胡劲松、罗荣华 编，离散数学及其应用，机械工业出版社  2014年             

• 屈婉玲、耿素云、张立昂  编， 离散数学  高等教育出版社  2015年