课程安排
本页面包含了本课程的课程安排，包括课程课件、课程作业以及课程作业的解答。
课程课件
- 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)(Fisrt Order Logic(I))
- [slides-zh]
- Lec 5
- 一阶逻辑(II)(First Order Logic(II))
- [slides-zh]
集合论部分：
图论部分：
- Lec 9
- 图的基本概念(Basic Concepts 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 Feb 24 24：00
- HW 2
- HWReleased: Homework #2-不留空版 Homework #2-留空版
- DUE Mar 3 24：00
- HW 3
- HWReleased: Homework #3-不留空版 Homework #3-留空版
- DUE Mar 10 24：00
- HW 4
- HWReleased: Homework #4-不留空版 Homework #4-留空版
- DUE Mar 17 24：00
- HW 5
- HWReleased: Homework #5-不留空版 Homework #5-留空版
- DUE Mar 24 24：00
- HW 6
- HWReleased: Homework #6-不留空版 Homework #6-留空版
- DUE Mar 31 24：00
- HW 7
- HWReleased: Homework #7-不留空版 Homework #7-留空版
- DUE Apr 7 24：00
- HW 8
- HWReleased: Homework #8-不留空版 Homework #8-留空版
- DUE Apr 14 24：00
- HW 9
- HWReleased: Homework #9-不留空版 Homework #9-留空版
- DUE Apr 21 24：00
- HW 10
- HWReleased: Homework #10-不留空版 Homework #10-留空版
- DUE Apr 28 24：00
- HW 11
- HWReleased: Homework #11-不留空版 Homework #11-留空版
- DUE May 5 24：00
- HW 12
- HWReleased: Homework #12-不留空版 Homework #12-留空版
- DUE May 19 24：00
- HW 13
- HWReleased: Homework #13-不留空版 Homework #13-留空版
- DUE May 26 24：00
- HW 14
- HWReleased: Homework #14-不留空版 Homework #14-留空版
- DUE Jun 2 24：00
课程作业解答
- 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