离散数学（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.cnyinghuanshi计算机系楼-508（仙林）蒙民伟楼-2611（鼓楼）助教邮箱QQ郭金涛guojintao@smail.nju.edu.cn 王曦染zzwdx@smail.nju.edu.cn程子涵czh@smail.nju.edu.cn祝各位同学学习顺利！ © 2024