离散数学 (2025秋季学期)

课程信息

教师：姚远

助教：

上课时间地点：

习题课时间地点：

教科书：《离散数学及其应用》，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)

课件

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