离散数学 (2024秋季学期)

课程信息

教师：姚远

助教：徐森荣，祝嘉龙

上课时间地点：周二5-6节，周四1-2节，仙2-110

习题课时间地点：周四9-10节，仙2-110

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

课程测试

期中考试：11月7日，8:10-9:40，仙2-110 (Lec 1 - Lec 12)

期末考试：12月30日，16:30-18:30，仙3-301

课程作业

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

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

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

Homework 04: 集合基数与数论初步 [pdf] (提交时间：10月10日)

Homework 05: 归纳递归与计数 [pdf] (提交时间：10月17日)

Homework 06: 计数与离散概率 [pdf] (提交时间：10月24日)

Homework 07: 关系 [pdf] (提交时间：10月31日)

Homework 08: 群与子群 [pdf] (提交时间：11月14日)

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

Homework 10: 图及其连通性 [pdf] (提交时间：11月28日)

Homework 11: 欧拉图、汉密尔顿图、最短路径 [pdf] (提交时间：12月5日)

Homework 12: 二部图与树 [pdf] (提交时间：12月12日)

Homework 13: 树的应用与生成树 [pdf] (提交时间：12月19日)

课件

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]