课程大纲与政策

目录

1. 概览
2. 课程政策
   1. 关于作弊
   2. 课程作业
   3. 期末考试
   4. 分数计算
3. 课程资源

概览

这门课程是计算机科学的数学基础。在本课程中，学生将学习一系列特定的数学原理，并学会如何应用这些原理。重要的是，这门课程将培养学生的逻辑思维和数学思维能力。完成本课程后，学生将掌握所有未来在计算机科学学习中所需的数学基础。

课程结束以后，学生将学会如下方面的数学知识：

• 命题逻辑和谓词逻辑
• 集合论和关系
• 代数结构
• 一些基本的组合数学
• 图论
• 初等数论

课程政策

关于作弊

这门课鼓励大家互相讨论，并从网上获取相关资源来完成作业。当然你也可以直接来询问老师。 然而，直接复制粘贴答案是被禁止的。 如果我询问时无法解释清楚你的作业是如何完成的，那我便会判断你是抄袭的。不要冒这个风险。

课程作业

课程作业HW将每周发布一次。

请注意，迟交作业将受到25%的成绩惩罚。

期末考试

本课程只有一次期末考试，有关期末考试的信息将在之后再公布。

分数计算

学生的成绩Grade 将由以下两个部分决定：

• 作业成绩HW,
• 期末考试成绩Exam,

最终的成绩是上述两部分的加权平均：

Grade = 40%* HW + 60%* Exam

课程资源

本网站离散数学将包含本课程所需的所有课程资源，包括课程通知、课程课件、课程作业以及课程作业的解答。

参考资源

下面是一些推荐的书籍：

• [1] 屈婉玲，耿素云，张立昂。离散数学
• [2] 石纯一，王家廞。数理逻辑与集合论
• [3] 崔勇，张小平。图论与代数结构
• [4] Jiri Matousek and Jaroslav Nesetril. Invitation to Discrete Mathematics
• [5] Kenneth H.Rosen, Kamla Krithivasan. Discrete Mathematics and Its Applications
• [6] H.-D. Ebbinghaus, J.Flum, W.Thomas Mathematical Logic