# Weekly Schedule

This schedule outlines all topics of the course and has links to all lecture slides, both in chinese and english.

## Week 1

- Sep 11
**Overview**- [slides-zh]

**Propositional Logic(I)**- [slides-zh]

**HW**Released: Homework #1**DUE**Sep 18 23:59**Sol**Released: Homework #1 solution- Sep 15
**Propositional Logic(II)**

## Week 2

- Sep 18
**Propositional Equivalences(I)**- [slides-zh]

**HW**Released: Homework #2**DUE**Sep 25 23:59**Sol**Released: Homework #2 solution- Sep 22
**Propositional Equivalences(II)**

## Week 3

- Sep 25
**Inference theory for Propositional Logic(I)**- [slides-zh]

**HW**Released: Homework #3**DUE**Oct 8 23:59**Sol**Released: Homework #3 solution Oct 8**Inference theory for Propositional Logic(II)****Notes**A notes for the class: Notes for Lec3

## Week 4

Happy The National Day Holiday!

## Week 5

- Oct 9
**Predicate Logic(I)**- [slides-zh]

**HW**Released: Homework #4**DUE**Oct 16 23:59**Sol**Released: Homework #4 solution Oct 13**Predicate Logic(II)**

## Week 6

- Oct 16
**Predicate Logic(III)**- [slides-zh]

**HW**Released: Homework #5**DUE**Oct 23 23:59**Sol**Released: Homework #5 solution- Oct 20
**Predicate Logic(IV)**

## Week 7

- Oct 23
**Predicate Logic(V)****Set Theory(I)**- [slides-zh]

**HW**Released: Homework #6**DUE**Oct 30 23:59**Sol**Released: Homework #6 solution- Oct 27
**Set Theory(II)**

## Week 8

- Oct 30
**Relation(I)**- [slides-zh]

**HW**Released: Homework #7**DUE**Nov 6 23:59**Sol**Released: Homework #7 solution- Nov 3
**Relation(II)**

## Week 9

- Nov 6
**Relation(III)****HW**Released: Homework #8**DUE**Nov 13 23:59**Sol**Released: Homework #8 solution- Nov 10
**Relation(IV)**

## Week 10

- Nov 13
This class has been delayed due to the accident of the instructor. The new time will be decided later.

- Nov 17
**Function(I)**- [slides-zh]

**HW**Released: Homework #9**DUE**Nov 27 23:59**Sol**Released: Homework #9 solution

## Week 11

- Nov 20
**Function(II)**- Nov 24
**Function(III)**

## Week 12

- Nov 27
**Graph:Basic(I)**- [slides-zh]

**HW**Released: Homework #10**DUE**Dec 4 23:59**Sol**Released: Homework #10 solution- Dec 1
**Graph:Basic(II)**

## Week 13

- Dec 4
**Graph:Path(I)**- [slides-zh]

**HW**Released: Homework #11**DUE**Dec 11 23:59**Sol**Released: Homework #11 solution Dec 7**Graph:Path(II)**- Dec 8
**Graph:Path(III)**

## Week 14

- Dec 11
**Trees(I)**- [slides-zh]

**HW**Released: Homework #12**DUE**Dec 18 23:59**Sol**Released: Homework #12 solution- Dec 15
**Trees(II)**

## Week 15

- Dec 18
**Combinatorial counting(I)**- [slides-zh]

**HW**Released: Homework #13**DUE**Dec 25 23:59**Sol**Released: Homework #13 solution- Dec 22
**Combinatorial counting(II)**

## Week 16

- Dec 25
**Combinatorial counting(III)**- Dec 29
**Review**- [slides-zh]

## Week 17&18

Happy The New Yearâ€™s Day Holiday and please prepare for the exam week~