离散数学 (2026秋季学期)

课程信息

教师：姚远

助教：曹蔚宁

上课时间地点：周三 2-4节，仙2-217

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

课程测试

期中考试：TBD

期末考试：TBD

课程作业

Homework 01: 命题逻辑与一阶谓词逻辑 [pdf] (提交时间：9月9日)

课件

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

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