离散数学 (2026秋季学期)



课程信息

  • 教师：姚远
  • 助教：曹蔚宁
  • 上课时间地点：周三 2-4节，仙2-217
  • 教科书：《离散数学及其应用》，Kenneth Rosen著


    • 课程测试

  • 期中考试：TBD
  • 期末考试：TBD


    • 课程作业

  • Homework 01: 命题逻辑与一阶谓词逻辑 [pdf] (提交时间：9月9日)
  • Homework 02: 集合、关系与函数 [pdf] (提交时间：9月23日)


    • 课件

  • Lecture 01: 命题逻辑 [ppt, pdf]
  • Lecture 02: 谓词逻辑初步 [ppt, pdf]
  • Lecture 03: 证明方法 [ppt, pdf]
  • Lecture 04: 集合及其运算 [ppt, pdf]