课程安排
本页面包含了本课程的课程安排，包括课程课件、课程作业以及课程作业的解答。
课程课件
- Lec 0
- 概览(Overview)
- [slides-zh]
数理逻辑部分：
- Lec 1
- 命题逻辑(I)(Proposition Logic(I))
- [slides-zh]
- Lec 2
- 命题逻辑(II)(Proposition Logic(II))
- [slides-zh]
- Lec 3
- 命题逻辑(III)(Proposition Logic(III))
- [slides-zh]
- Lec 4
- 一阶逻辑(I)(First-Order Logic(I))
- [slides-zh]
- Lec 5
- 一阶逻辑(II)(First-Order Logic(II))
- [slides-zh]
集合论部分：
图论部分：
- Lec 9
- 图的基本概念(Basic Concept of Graph)
- [slides-zh]
- Lec 10
- 图的路径(Path of Graph)
- [slides-zh]
- Lec 11
- 树(Tree)
- [slides-zh]
组合计数部分：
- Lec 12
- 组合计数基础(Combinatorial Counting)
- [slides-zh]
课程总结：
- Lec 13
- 复习(Review)
- [slides-zh]
课程作业
- HW 1
- HWReleased: Homework #1-不留空版 Homework #1-留空版
- DUE Sep 18
- HW 2
- HWReleased: Homework #2-不留空版 Homework #2-留空版
- DUE Sep 25
- HW 3
- HWReleased: Homework #3-不留空版 Homework #3-留空版
- DUE Oct 9
- HW 4
- HWReleased: Homework #4-不留空版 Homework #4-留空版
- DUE Oct 18
- HW 5
- HWReleased: Homework #5-不留空版 Homework #5-留空版
- DUE Oct 23(可能延迟到10月25日，详情见首页课程通知说明)
- HW 6
- HWReleased: Homework #6-不留空版 Homework #6-留空版
- DUE Oct 30
- HW 7
- HWReleased: Homework #7-不留空版 Homework #7-留空版
- DUE Nov 6
- HW 8
- HWReleased: Homework #8-不留空版 Homework #8-留空版
- DUE Nov 13
- HW 9
- HWReleased: Homework #9-不留空版 Homework #9-留空版
- DUE Nov 20
- HW 10
- HWReleased: Homework #10-不留空版 Homework #10-留空版
- DUE Nov 27
- HW 11
- HWReleased: Homework #11-不留空版 Homework #11-留空版
- DUE Dec 4
- HW 12
- HWReleased: Homework #12-不留空版 Homework #12-留空版
- DUE Dec 11
- HW 13
- HWReleased: Homework #13-不留空版 Homework #13-留空版
- DUE Dec 18
- HW 14
- HWReleased: Homework #14 Homework #14-sol
课程作业解答
- HW 1
- HWReleased:Homework #1-sol
- HW 2
- HWReleased:Homework #2-sol
- HW 3
- HWReleased:Homework #3-sol
- HW 4
- HWReleased:Homework #4-sol
- HW 5
- HWReleased:Homework #5-sol
- HW 6
- HWReleased:Homework #6-sol
- HW 7
- HWReleased:Homework #7-sol
- HW 8
- HWReleased:Homework #8-sol
- HW 9
- HWReleased:Homework #9-sol
- HW 10
- HWReleased:Homework #10-sol
- HW 11
- HWReleased:Homework #11-sol
- HW 12
- HWReleased:Homework #12-sol
- HW 13
- HWReleased:Homework #13-sol