课程介绍
查看课程信息离散数学（Discrete Mathematics）集成了数学中的多个不同分支，主要研究离散对象的数学结构。 离散数学是计算机科学与技术的基础。本课程在介绍数理逻辑入门知识和数学证明方法的基础上， 系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图与树等基本的离散结构及相关理论， 使学生系统掌握数学模型、基本理论及应用技术。
本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程， 是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程， 对培养抽象思维、逻辑推理以及问题求解能力有重要意义。
授课老师
史颖欢 教授
上课时间
周三 2-4节（9:00-12:00）
上课地点
鼓楼校区 · 费A-201
课程QQ群
1090448151
助教
程子涵、刘思远、李熠城、杨蕊羽
材料获取及作业上传链接
邮箱：czh@smail.nju.edu.cn；QQ：1433368350
教学大纲
Lecture Slides| 章节 | 内容 | 课程资源 |
|---|---|---|
| 〇、课程概况 | 1. 课程概况 | 上课课件 |
| 一、逻辑与证明 | 1. 命题逻辑 | 上课课件 |
| 2. 命题逻辑（续） | 上课课件 | |
| 3. 谓词逻辑初步 | 上课课件 | |
| 4. 证明方法 | 上课课件 | |
| 二、集合论 | 1. 集合及其运算 | 上课课件 |
| 2. 关系运算及函数 | 上课课件 | |
| 3. 集合的基数 | 上课课件 | |
| 4. 数论初步 | 上课课件 | |
| 三、归纳与递归 | 1. 归纳与递归 | 上课课件 |
| 补充、计数与离散概率 | 1. 计数技术（非考纲内容，仅供同学们参考使用） | 上课课件 |
| 2. 离散概率（非考纲内容，仅供同学们参考使用） | 上课课件 | |
| 四、关系 | 1. 关系的性质 | 上课课件 |
| 2. 关系的闭包、等价关系 | 上课课件 | |
| 3. 偏序与偏序格 | 上课课件 | |
| 五、图论初步 | 1. 图的基本概念 | 上课课件 |
| 2. 图的连通性 | 上课课件 | |
| 3. Euler图与Hamilton图 | 上课课件 | |
| 4. 最短通路 | 上课课件 | |
| 5. 二部图及匹配 | 上课课件 |
家庭作业
提交注意事项 homework-1-命题逻辑
截止：3月10日 23:00（已截止）
homework-2-谓词逻辑初步
截止：3月17日 23:00（已截止）
homework-3-证明方法
截止：3月24日 23:00（已截止）
homework-4-集合及其运算
截止：3月31日 23:00（已截止）
homework-5-关系与函数
截止：4月7日 23:00（已截止）
homework-6-集合的基数
截止：4月21日 23:00（已截止）
homework-7-数论初步
截止：4月21日 23:00（已截止）
homework-8-归纳与递归
截止：4月28日 23:00（已截止）
homework-9-关系的性质与闭包
截止：5月12日 23:00
homework-10-等价关系与偏序关系
截止：5月19日 23:00
课程资源
Shared Materials教材（第七版）
第七版（仅限课堂交流；建议购买原版；目前使用原书第八版）
补充资料
离散数学（曲婉玲等）-代数系统、群、格与布尔代数部分.pdf （仅限课堂交流）