课程安排

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

集合论(Set Theory)

[slides-zh]

HW 1

HWReleased: Homework #1-不留空版   Homework #1-留空版

DUE Sep 28 11:59 PM

HW 2

HWReleased: Homework #2-不留空版   Homework #2-留空版

DUE Oct 12 11:59 PM

HW 3

HWReleased: Homework #3-不留空版   Homework #3-留空版

DUE Oct 19 11:59 PM

HW 4

HWReleased: Homework #4-不留空版   Homework #4-留空版

DUE Oct 26 11:59 PM

HW 1

HWReleased:Homework #1-sol

HW 2

HWReleased:Homework #2-sol

HW 3

HWReleased:Homework #3-sol