离散数学 (2025秋季学期)

课程信息

教师：姚远

助教：曹蔚宁、刘锦程

上课时间地点：周二 5-6节，周五 5-6节，仙Ⅰ-103

习题课时间地点：周五 7-8节 仙Ⅰ-103

教科书：《离散数学及其应用》，Kenneth Rosen著

课程测试

期中考试：10月24日，14:00-15:40，仙Ⅰ-103 (Lec 1 - Lec 12)

期末考试：TBD

课程作业

Homework 01: 逻辑与证明(1) [pdf] (提交时间：9月5日)

Homework 02: 逻辑与证明(2) [pdf] (提交时间：9月12日)

Homework 03: 集合论 [pdf] (提交时间：9月19日)

Homework 04: 数论、归纳与递归 [pdf] (提交时间：9月26日)

Homework 05: 计数、概率、关系 [pdf] (提交时间：10月17日)

Homework 06: 群伦 [pdf] (提交时间：11月7日)

Homework 07: 格与布尔代数 [pdf] (提交时间：11月14日)

Homework 08: 图论（1）[pdf] (提交时间：11月21日)

Homework 09: 图论（2）[pdf] (提交时间：11月28日)

Homework 10: 图论（3）[pdf] (提交时间：12月12日)

课件

Lecture 01: 命题逻辑 [ppt, pdf]

Lecture 02: 谓词逻辑初步 [ppt, pdf]

Lecture 03: 证明方法 [ppt, pdf]

Lecture 04: 集合及其运算 [ppt, pdf]

Lecture 05: 关系与函数 [ppt, pdf]

Lecture 06: 集合的基数 [ppt, pdf]

Lecture 07: 数论基础 [ppt, pdf]

Lecture 08: 归纳与递归 [ppt, pdf]

Lecture 09: 计数 [ppt, pdf]

Lecture 10: 离散概率 [ppt, pdf]

Lecture 11: 关系的性质 [ppt, pdf]

Lecture 12: 偏序关系与偏序集 [ppt, pdf]

Lecture 13: 群伦导引 [ppt, pdf]

Lecture 14: 子群及其陪集 [ppt, pdf]

Lecture 15: 循环群与群同构 [ppt, pdf]

Lecture 16: 代数格 [ppt, pdf]

Lecture 17: 布尔代数 [ppt, pdf]

Lecture 18: 图论基本概念 [ppt, pdf]

Lecture 19: 图的连通性 [ppt, pdf]

Lecture 20: 欧拉图与汉密尔顿图 [ppt, pdf]

Lecture 21: 最短通路问题 [ppt, pdf]

Lecture 22: 二部图与匹配 [ppt, pdf]

Lecture 23: 树的基本概念 [ppt, pdf]

Lecture 24: 树的应用 [ppt, pdf]

Lecture 25: 生成树 [ppt, pdf]