离散数学（Discrete Mathematics）集成了数学中的多个不同分支，它主要研究离散对象的数学结构。离散数学是计算机科学与技术的基础。本课程在介绍数理逻辑入门知识和数学证明方法的基础上，系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图与树等基本的离散结构及相关的理论，使学生系统地掌握相关的数学模型、基本理论及应用技术。本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力有重要意义。
授课老师：史颖欢 教授
上课时间：周二 10: 10-12: 00；周二 18: 30-20: 20（习题课）；周五 14: 00-15: 50
上课地点：鼓楼校区 南教-201
课程QQ群：765978589
助教：王曦染，程子涵，刘思远，李熠城
If you encounter any issues with viewing, downloading course materials, or submitting assignments on this course website, please feel free to contact Cheng Zihan (email: czh@smail.nju.edu.cn; QQ:1433368350). What' more, if you have any compliments, descriptions, or complaints (about strengths or weaknesses) regarding our class's Discrete Mathematics course, please feel free to fill out this questionnaire. Rest assured, this survey is completely anonymous. Your input is very valuable in helping us further improve the course and encouraging us to keep up the good work.
Important News： 期中考试时间： 4月15日（周二）晚上6:30-8:30；地点：原教室（坐不下的同学安排在南教-202）；范围：偏序关系及其前面的内容。
| 章节 | 内容 | 课程资源 |
|---|---|---|
| 〇、课程概况 | 1. 课程概况 | 上课课件 |
| 一、逻辑与证明 | 1. 命题逻辑 | 上课课件， 习题课课件 |
| 2. 命题逻辑（续） | 上课课件 | |
| 3. 谓词逻辑初步 | 上课课件 ，习题课课件 | |
| 4. 证明方法 | 上课课件 | |
| 二、集合论 | 1. 集合及其运算 | 上课课件， 习题课课件 |
| 2. 关系运算及函数 | 上课课件 | |
| 3. 集合的基数 | 上课课件 ，习题课课件 | |
| 4. 数论初步 | 上课课件 ，习题课课件 | |
| 三、归纳与递归 | 1. 归纳与递归 | 上课课件 |
| 四、计数与离散概率 | 1. 计数技术 | 上课课件 ，习题课课件 |
| 2. 离散概率 | 上课课件 | |
| 五、关系 | 1. 关系的性质 | 上课课件 ，习题课课件 |
| 2. 关系的闭包、等价关系 | 上课课件 | |
| 3. 偏序与偏序格 | 上课课件 ，习题课课件 | |
| 六、代数系统 | 1. 代数系统引论 | 上课课件 |
| 2. 群论导引 | 上课课件 ，习题课课件 | |
| 3. 子群与拉格朗日定理 | 上课课件 | |
| 4. 循环群与群同构 | 上课课件 ，习题课课件 | |
| 5. 代数格 | 上课课件 | |
| 6. 布尔代数 | 上课课件 | |
| 七、图论初步 | 1. 图的基本概念 | |
| 2. 图的连通性 | ||
| 3. Euler图与Hamilton图 | ||
| 4. 最短通路 | ||
| 5. 二部图及匹配 | ||
| 八、树 | 1. 树的基本概念 | |
| 2. 树的应用 | ||
| 3. 生成树 |
作业提交的注意事项请大家参考第一次习题课课件。
[1] homework-1，
请在2月25日上午10:00前提交PDF文件至这里。
补交请联系王曦染助教。答案
[2] homework-2，
请在3月4日上午10:00前提交PDF文件至这里。
补交请联系王曦染助教。答案
[3] homework-3，
请在3月4日上午10:00前提交PDF文件至这里。
补交请联系王曦染助教。答案
[4] homework-4，
请在3月11日上午10:00前提交PDF文件至这里。
补交请联系刘思远助教。答案
[5] homework-5，
请在3月18日上午10:00前提交PDF文件至这里。
补交请联系李熠城助教。答案
[6] homework-6，
请在3月25日上午10:00前提交PDF文件至这里。
补交请联系王曦染助教。答案
[7] homework-7，
请在3月25日上午10:00前提交PDF文件至这里。
补交请联系王曦染助教。答案
[8] homework-8 & 9，
请在4月1日上午10:00前提交PDF文件至这里。
补交请联系马庆贺助教。答案
[9] homework-10，
请在4月1日上午10:00前提交PDF文件至这里。
补交请联系马庆贺助教。答案
[10] homework-11 & 12，
请在4月8日上午10:00前提交PDF文件至这里。
补交请联系刘思远助教。答案
[11] homework-13 & 14，
请在4月8日上午10:00前提交PDF文件至这里。
补交请联系刘思远助教。答案
[12] homework-15，
由于下周期中考试，本次作业无需提交，请大家结合答案认真复习。祝大家考试顺利！
答案
[13] homework-16，
由于下周期中考试，本次作业无需提交，请大家结合答案认真复习。祝大家考试顺利！
答案
[14] homework-17，
请在4月22日上午10:00前提交PDF文件至这里。
补交请联系李熠城助教。答案
[15] homework-18，
请在4月22日上午10:00前提交PDF文件至这里。
补交请联系李熠城助教。答案
[14] homework-19，
请在4月29日上午10:00前提交PDF文件至这里。
补交请联系刘思远助教。答案
[15] homework-20，
请在4月29日上午10:00前提交PDF文件至这里。
补交请联系刘思远助教。答案
[16] homework-21，
请在5月6日上午10:00前提交PDF文件至这里。
补交请联系李熠城助教。
[1] 第七版，仅限于课堂交流，建议购买原版，目前使用的是原书第八版。
[2] 离散数学（曲婉玲等）-代数系统、群、格与布尔代数部分.pdf，仅限于课堂交流。
[3] 离散数学经验帖-1，离散数学经验帖-2。
| 教师 | 邮箱 | 办公室 |
|---|---|---|
| 史颖欢 | syh@nju.edu.cn | 计算机系楼-508（仙林） |
| 助教 | 邮箱 | |
|---|---|---|
| 王曦染 (22级博士生) | zzwdx@smail.nju.edu.cn | 1967282230 |
| 程子涵 (24级博士生) | czh@smail.nju.edu.cn | 1433368350 |
| 刘思远 (22级本科生) | 221220067@smail.nju.edu.cn | 480469140 |
| 李熠城 (23级本科生) | 2863720408@qq.com | 2863720408 |