离散数学-I(Discrete Mathematics)
22000210A 2026 春季 3 班

离散数学-I (22000210A) · 2026年春季学期 · 3班

离散数学(Discrete Mathematics)研究离散对象的结构与性质,是计算机科学与技术的核心数学基础。 本课程覆盖数理逻辑、证明方法、集合与关系、代数系统、计数与离散概率、图与树等主题,强调抽象建模、逻辑推理与问题求解能力。

授课:史颖欢 教授 鼓楼 · 费A-201 周三 2-4节(9:00-12:00)

课程介绍

查看课程信息

离散数学(Discrete Mathematics)集成了数学中的多个不同分支,主要研究离散对象的数学结构。 离散数学是计算机科学与技术的基础。本课程在介绍数理逻辑入门知识和数学证明方法的基础上, 系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图与树等基本的离散结构及相关理论, 使学生系统掌握数学模型、基本理论及应用技术。

本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程, 是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程, 对培养抽象思维、逻辑推理以及问题求解能力有重要意义。

课程信息

跳转作业 跳转资源

授课老师

史颖欢 教授

上课时间

周三 2-4节(9:00-12:00)

上课地点

鼓楼校区 · 费A-201

课程QQ群

1090448151

助教

程子涵、刘思远、李熠城、杨蕊羽

材料获取及作业上传链接

邮箱:czh@smail.nju.edu.cn;QQ:1433368350

匿名反馈(compliments / complaints)

教学大纲

Lecture Slides
章节 内容 课程资源
〇、课程概况 1. 课程概况 上课课件
一、逻辑与证明 1. 命题逻辑 上课课件
2. 命题逻辑(续) 上课课件
3. 谓词逻辑初步 上课课件
4. 证明方法 上课课件
二、集合论 1. 集合及其运算 上课课件
2. 关系运算及函数
3. 集合的基数
4. 数论初步
homework-1-命题逻辑
截止:3月10日 23:00(已截止)
homework-2-谓词逻辑初步
截止:3月17日 23:00(PDF)
homework-3-证明方法
截止:3月24日 23:00(PDF)

课程资源

Shared Materials

教材(第七版)

第七版(仅限课堂交流;建议购买原版;目前使用原书第八版)

联系方式

返回顶部

教师

教师 邮箱 办公室
史颖欢 syh@nju.edu.cn 计算机系楼-508(仙林)

助教

助教 邮箱 QQ
程子涵(24级直博生) czh@smail.nju.edu.cn 1433368350
刘思远(26级直博生) 221220067@smail.nju.edu.cn 480469140
李熠城(23级本科生) 2863720408@qq.com 2863720408
杨蕊羽(24级本科生) 241220108@smail.nju.edu.cn 2848610290