离散数学（Discrete Mathematics）集成了数学中的多个不同分支，它主要研究离散对象的数学结构。离散数学是计算机科学与技术的基础。本课程在介绍数理逻辑入门知识和数学证明方法的基础上，系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图与树等基本的离散结构及相关的理论，使学生系统地掌握相关的数学模型、基本理论及应用技术。本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力有重要意义。
授课老师：史颖欢 副教授
上课时间：周一 10：10-12：00；周三 14：00-15：50；周三 18：30-20：20
上课地点：鼓楼校区 馆I-201
助教：郭金涛、王曦染、程子涵
| 章节 | 内容 | 课程资源 |
|---|---|---|
| 〇、课程概况 | 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，
请在3月4日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework1.pdf”。补交请联系郭金涛助教。
答案。
[2]homework-2，
请在3月11日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework2.pdf”。补交请联系王曦染助教。
答案。
[3]homework-3，
请在3月11日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework3.pdf”。补交请联系王曦染助教。
答案。
[4]homework-4，
请在3月18日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework4.pdf”。补交请联系郭金涛助教。
答案。
[5]homework-5，
请在3月25日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework5.pdf”。补交请联系程子涵助教。
答案。
[6]homework-6，
请在3月25日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework6.pdf”。补交请联系程子涵助教。
答案。
[7]homework-7，
请在4月1日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework7.pdf”。补交请联系王曦染助教。
答案。
[8]homework-8，
请在4月1日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework8.pdf”。补交请联系王曦染助教。
答案。
[9]homework-9，
请在4月8日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework9.pdf”。补交请联系王曦染助教。
答案。
[10]homework-10，
请在4月8日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework10.pdf”。补交请联系王曦染助教。
答案。
[11]homework-11，
请在4月15日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework11.pdf”。补交请联系程子涵助教。
答案。
[12]homework-12，
本周作业无需提交，请大家认真复习，祝大家取得好成绩！
答案。
[13]homework-13，
请在5月3日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework13.pdf”。补交请联系郭金涛助教。
答案。
[14]homework-14，
请在5月3日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework14.pdf”。补交请联系郭金涛助教。
答案。
[15]homework-15，
请在5月8日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework15.pdf”。补交请联系程子涵助教。
答案。
[16]homework-16，
请在5月8日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework16.pdf”。补交请联系程子涵助教。
答案。
[17]homework-17，
请在5月15日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework17.pdf”。补交请联系程子涵助教。
答案。
[18]homework-18，
请在5月15日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework18.pdf”。补交请联系程子涵助教。
答案。
[19]homework-19，
请在5月22日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework19.pdf”。补交请联系王曦染助教。
答案。
[20]homework-20，
请在5月27日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework20.pdf”。补交请联系郭金涛助教。
答案。
[21]homework-21，
请在5月29日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework21.pdf”。补交请联系郭金涛助教。
答案。
[22]homework-22，
请在6月5日上午10:00前提交PDF文件至这里，
PDF文件命名为“学号-姓名-homework22.pdf”。补交请联系郭金涛助教。
答案。
[23]homework-23，
本周作业无需提交，请大家认真复习，祝大家取得好成绩！
答案。
[1]第七版，仅限于课堂交流，建议购买原版，目前使用的是原书第八版。
[2]离散数学（曲婉玲等）-代数系统、群、格与布尔代数部分.pdf，仅限于课堂交流。
| 教师 | 邮箱 | 微信 | 办公室 |
|---|---|---|---|
| 史颖欢 | syh@nju.edu.cn | yinghuanshi | 计算机系楼-508（仙林） 蒙民伟楼-2611（鼓楼） |
| 助教 | 邮箱 | |
|---|---|---|
| 郭金涛 | guojintao@smail.nju.edu.cn | |
| 王曦染 | zzwdx@smail.nju.edu.cn | |
| 程子涵 | czh@smail.nju.edu.cn |