离散数学是计算机学科的经典核心基础课程。课程内容主要包括命题逻辑，谓词逻辑，集合与关系，代数结构、图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生的抽象思维能力，逻辑推理能力，缜密概括能力以及分析和解决实际问题的能力。

离散数学的学习，为其后续课程（如数据结构、操作系统、计算机网络、编译理论、数字逻辑理论、数据库系统、算法分析、系统结构、人工智能等）的学习打下坚实的理论基础。

这门课程的理论性较强，知识点比较多，但只要掌握了正确的方法，完成这门课程的学习并非很难。我们通过对课程内容的合理安排，每一讲的精心调配，课后习题的专业配套，为在线学习用户提供了学习离散数学课程的一种新形式。

通过理论教学和实践活动，达到以下课程目标：

课程目标1：运用命题逻辑和谓词逻辑的基本原理知识，通过对自然语言的深入剖析，能够理解并能初步运用形式化的逻辑推理和数学证明，训练数学思维方式，用于推演、分析计算机领域复杂工程问题，并在解决问题的过程中树立使命感和责任心。

课程目标2：运用集合和关系的基本原理，建立数形结合的数学思想，培养分析问题和解决问题的能力，正确表达计算机领域复杂工程问题，并在学习关系性质应用的过程中树立文化传承理念。

课程目标3：掌握代数结构的基本知识，运用群的定义与性质，通过实例建立抽象概念，培养精益求精的数学精神，用于识别和表达计算机相关领域的复杂工程问题。

课程目标4：理解图论的理论、思想和方法，能够具备基本的科学素养，会用其解决实际问题，培养抽象思维和缜密概括的能力，并能够用于计算机领域复杂工程问题的表述与模型选择。

授课方式为线上线下混合教学：平时成绩占比50%；期末考试成绩占比50%。其中平时成绩包含6项考核项目：平时作业16%、听课情况10%、课堂互动和讨论4%、视频学习及论坛讨论4%、在线及单元综合测试12%、课堂测试占总评4%。

要求掌握《线性代数》中的矩阵基本概念和运算、高等数学中函数的基础知识。

1.《应用离散数学》第3版，周丽、方景龙，人民邮电出版社（主教材，浙江省新形态教材、浙江省十四五规划教材）

2.《离散数学及其应用》第2版，傅彦等，高等教育出版社 

3.《离散数学实验与习题解析》，傅彦等，高等教育出版社

4.《离散数学》第5版，耿素云、屈婉玲等，清华大学出版社

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