离散结构主要研究离散的数量关系和离散的数学结构模型，涵盖了与计算机科学直接相关的大部分数学领域，是计算机类专业的一门核心基础课。本课程主要包括数理逻辑、集合论、图论及代数系统四部分内容，通过各个教学环节逐步培养学生的抽象思维能力、逻辑思维能力、数学建模能力、证明技巧、形式化程序设计能力以及综合归纳分析的能力。数理逻辑：要求学生掌握命题逻辑及谓词逻辑的基本概念、基本原理、基本方法，熟练掌握至少一种推理的证明方法，会应用推理证明技术解决一些实际推理问题。集合论：要求学生掌握集合概念及运算、关系及其性质、等价关系、偏序关系、函数等，领会集合基数及整数性质，能应用集合论方法解决实际问题。代数系统：要求学生领会和分析常见的代数系统，掌握群及格的性质，能应用群的有关结论。 图论：要求学生掌握图及树的基本概念、原理及方法；领会一些特殊图如欧拉图和哈密尔顿图、二部图等；能综合应用图论知识，解决计算机及其他学科的实际问题。

    课程以理论为基础，问题为驱动，应用为背景，以解决实际问题为目标，构建了离散结构层次化教学体系。离散结构的学习有利于培养学生的学科素质，进一步强化计算机科学与技术学科方法的训练。本课程遵循以学生为中心的模式，强调学生是信息加工的主体，引导学生积极探索，主动发现，勇于创新，逐步培养计算思维能力，以及运用数学与自然科学基础知识解决实际问题的能力。

课程考核方式为笔试，课程成绩由平时成绩40%+笔试成绩60%。其中平时成绩由在线时长、在线作业及实验、线上讨论等构成，闭卷考试的内容将涵盖教学内容的重点部分，考查学生计算思维能力以及运用所学知识解决实际问题的能力。

    高等数学、线性代数

离散数学（第2版），贲可荣，袁景凌，高志华，清华大学出版社，2011

离散数学解题指导（第2版），贲可荣，袁景凌，高志华，清华大学出版社，2016

离散数学及其应用，屈婉玲，耿素云，张立昂，高等教育出版社，2011

Discrete Mathematics and Its Applications（第7版），Kenneth H. Rosen等，机械工业出版社，2013

Fundamentals of Discrete Math for Computer Science:A Problem Solving Primer, T Jenkyns and B Stephenson, Springer-Verlag London, 2013