课程安排

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 6

集合论(Set Theory)

[slides-zh]

Lec 7

关系(Relation)

[slides-zh]

Lec 8

函数(Function)

[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 1

HWReleased:Homework #1-sol

HW 2

HWReleased:Homework #2-sol