课程安排

本页面包含了本课程的课程安排，包括课程课件、课程作业以及课程作业的解答。

课程课件

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 6

集合论(I): [slides-zh]

Lec 7

关系(Relation): [slides-zh]

Lec 8

函数(Function): [slides-zh]

图论部分：

Lec 9

图的基本概念(Basic Concepts of Graph): [slides-zh]

Lec 10

图的路径(Path of Graph): [slides-zh]

Lec 11

树(Tree): [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 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