授课教师：005875,070030,110147,160293,170075

总学时：72

课程教材：离散数学基础，清华大学出版社，周晓聪、乔海燕编著，2021年5月

先修课程：无

主要参考书目：

离散数学及其应用（英文版·第7版）机械工业出版社 Kenneth H.Rosen著 ，2012年

课程内容简介（中文）：离散数学是现代数学的一个重要分支，是计算机专业的核心基础课程，为许多计算机专业课程提供理论基础，尤其是为大多数计算机算法提供基础。离散数学以研究离散量的结构和相互间的关系为主要目标，课程主要介绍命题逻辑概念、等值演算、命题逻辑的推理理论、一阶逻辑的基本概念、一阶逻辑等值演算与推理、证明、集合、函数、关系、计数与组合、图与树、代数结构等内容。教学原则是注重理论、方法和实例的有机结合，努力使学生对于离散数学课程逐渐形成较为完整的知识体系，对于离散数学知识与计算机专业，特别是程序设计课程之间的联系有更加深刻的理解，提高学生利用离散数学知识建模和分析应用问题，以及利用计算机求解问题的能力。

课程内容简介（英文）：