教学目标和任务
离散数学（Discrete Mathematics）集成了数学中的多个不同分支，它主要研究离散对象的数学结构，也是计算机科学与技术的基础。离散数学I在介绍数理逻辑入门知识和数学证明方法的基础上，系统地介绍集合、归纳与递归、关系、图与树等基本的离散结构及相关的理论，使学生系统地掌握相关的数学模型、基本理论及应用技术。本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力有重要意义。
课程信息
| 任课教师: | 瞿裕忠 |
| 课程性质: | 必修 |
| 课程学分: | 3 |
教师与助教
本课程由瞿裕忠主讲，学生可以通过如下方式联系：
| Office | ||
|---|---|---|
| 瞿裕忠 | yzqu@nju.edu.cn | 计算机科学技术楼808室 |
本课程助教组联系方式如下：
| 姓名 | Office | |
|---|---|---|
| 包予恒 | 1303425590@qq.com | 计算机科学技术楼811室 |
| 刘艺葳 | ywliu@smail.nju.edu.cn | 计算机科学技术楼413室 |
教学内容
一、逻辑与证明
1.逻辑表达式及语义
2.命题逻辑的推理
3.谓词逻辑初步
4.证明方法导引
二、集合论
1.集合及其运算
2.函数及其运算
3.自然数与数论初步
4.集合的基数
三、归纳与递归
1.数学归纳法
2.递归与结构归纳法
四、关系
1.关系及其运算
2.关系的闭包、等价关系
3.偏序关系
五、图论初步
1.图的基本概念
2.图的表示与图同构
3.图的连通性
4.Euler图
5.Hamilton图
6. 最短通路
7.二部图及匹配
六、树
1.树的基本概念
2.树的应用
3.生成树
1.逻辑表达式及语义
2.命题逻辑的推理
3.谓词逻辑初步
4.证明方法导引
二、集合论
1.集合及其运算
2.函数及其运算
3.自然数与数论初步
4.集合的基数
三、归纳与递归
1.数学归纳法
2.递归与结构归纳法
四、关系
1.关系及其运算
2.关系的闭包、等价关系
3.偏序关系
五、图论初步
1.图的基本概念
2.图的表示与图同构
3.图的连通性
4.Euler图
5.Hamilton图
6. 最短通路
7.二部图及匹配
六、树
1.树的基本概念
2.树的应用
3.生成树
教材与参考书
主要教材:
Kenneth H. Rosen. 徐六通, 杨娟 , 吴斌 译. 离散数学及其应用（原书第8版），中文版，机械工业出版社，2019.10。
Kenneth H. Rosen. 徐六通, 杨娟 , 吴斌 译. 离散数学及其应用（原书第8版），中文版，机械工业出版社，2019.10。
课程安排
| 学期: | 2025-2026学年第二学期（共16周） |
| 时间: | 周三第2-4节 |
| 地点: | 鼓楼校区，费A-302 |
2026年1月30日（第十次修订）