离散数学 (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日)

课件

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]