课程大纲与政策
目录
概览
这门课程是计算机科学的数学基础。在本课程中，学生将学习一系列特定的数学原理，并学会如何应用这些原理。重要的是，这门课程将培养学生的逻辑思维和数学思维能力。完成本课程后，学生将掌握所有未来在计算机科学学习中所需的数学基础。
课程结束以后，学生将学会如下方面的数学知识：
- 命题逻辑和谓词逻辑
- 集合论和关系
- 代数结构
- 一些基本的组合数学
- 图论
- 初等数论
课程政策
关于作弊
这门课鼓励大家互相讨论，并从网上获取相关资源来完成作业。当然你也可以直接来询问老师。 然而，直接复制粘贴答案是被禁止的。 如果我询问时无法解释清楚你的作业是如何完成的，那我便会判断你是抄袭的。不要冒这个风险。
课程作业
课程作业HW将每周发布一次，具体内容可以定期查阅课程主页的课程通知和课程安排。
请注意，迟交作业将受到25%的成绩惩罚。
作业提交要求(重要!)
本课程可以通过线下提交和邮件提交两种方式提交作业。请注意，超星学习通仅用于发布课程通知，并不参与其他课程活动。
关于线下提交：
- 请各位同学在提交的作业上写清楚自己的姓名和学号。
- 线下提交的作业的提交时间为距截止日期之后最近的一次课堂。
- 每次作业我会在下次作业提交的时候进行返还，所以请准备使用练习本的同学准备好两本练习本。
关于邮件提交：
- 请各位同学提交pdf格式的邮件，不要提交图片或者word文档。（但你可以选择将作业拍照拍下来再将图片转成pdf），文件请命名为：学号-姓名-离散第x次作业，例如：20210001-杨启哲-离散第x次作业。第x次请以发布的作业标题为准。
- 发送的邮箱为： qzyang(at)shnu.edu.cn
- 邮件标题请按照以下格式：学号-姓名-离散第x次作业提交，例如：20210001-杨启哲-离散第x次作业提交，并将完成的作业按上述要求(命名+格式)作为附件进行发送。
- 邮件提交的截止日期就是网站上发布的作业截止日期，请各位同学注意不要晚交。
请各位同学务必严格遵守上述提交要求。
期末考试
本课程只有一次期末考试，有关期末考试的信息将在之后再公布。
分数计算
学生的成绩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