授课教师：210016,210297

总学时：72

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

先修课程：高等数学或数学分析、线性代数

主要参考书目：

1. R. L. Graham, D. E. Knuth, O. Patashnik, Concrete Mathematics: A Foundation for Computer Science (Second Edition)

[1]. 2. 张明尧、张凡译，《具体数学：计算机科学基础》，人民邮电出版社，2013

[2]. 3. K. H. Rosen. Discrete Mathematics and its Applications (Seventh Edition)

[3]. 4,. 徐六通等译，陈琼改编，《离散数学及其应用》第7版，本科教学版，机械工业出版社，2017

[4]. 5. 耿素云、屈婉玲、王悍贫，《离散数学教程》，北京大学出版社，2002

[5]. 6. 离散数学结构（第6版，翻译版）Bernard Kolman, Robert C. Busby, Sharon C. Ross, 罗平 译，高等教育出版社，2020年9月

课程内容简介（中文）：离散数学课程中的知识点是研究人工智能和计算机科学的基础知识，这些知识点包括：集合论、命题逻辑、谓词逻辑、证明方法、关系、函数、图和树等。掌握这些知识将对后续课程的学习和将来的研究都有极大的帮助。

课程内容简介（英文）：