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]

HWReleased: Homework #1 DUE Sep 18 23:59

SolReleased: Homework #1 solution

Sep 15

Propositional Logic(II)

Week 2

Sep 18

Propositional Equivalences(I): [slides-zh]

HWReleased: Homework #2 DUE Sep 25 23:59

SolReleased: Homework #2 solution

Sep 22

Propositional Equivalences(II)

Week 3

Sep 25

Inference theory for Propositional Logic(I): [slides-zh]

HWReleased: Homework #3 DUE Oct 8 23:59

SolReleased: 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]

HWReleased: Homework #4 DUE Oct 16 23:59

SolReleased: Homework #4 solution Oct 13

Predicate Logic(II)

Week 6

Oct 16

Predicate Logic(III): [slides-zh]

HWReleased: Homework #5 DUE Oct 23 23:59

SolReleased: Homework #5 solution

Oct 20

Predicate Logic(IV)

Week 7

Oct 23

Predicate Logic(V)

Set Theory(I): [slides-zh]

HWReleased: Homework #6 DUE Oct 30 23:59

SolReleased: Homework #6 solution

Oct 27

Set Theory(II)

Week 8

Oct 30

Relation(I): [slides-zh]

HWReleased: Homework #7 DUE Nov 6 23:59

SolReleased: Homework #7 solution

Nov 3

Relation(II)

Week 9

Nov 6: Relation(III); HWReleased: Homework #8 DUE Nov 13 23:59; SolReleased: 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]

HWReleased: Homework #9 DUE Nov 27 23:59

SolReleased: Homework #9 solution

Week 11

Nov 20: Function(II)
Nov 24: Function(III)

Week 12

Nov 27

Graph:Basic(I): [slides-zh]

HWReleased: Homework #10 DUE Dec 4 23:59

SolReleased: Homework #10 solution

Dec 1

Graph:Basic(II)

Week 13

Dec 4

Graph:Path(I): [slides-zh]

HWReleased: Homework #11 DUE Dec 11 23:59

SolReleased: Homework #11 solution Dec 7

Graph:Path(II)

Dec 8

Graph:Path(III)

Week 14

Dec 11

Trees(I): [slides-zh]

HWReleased: Homework #12 DUE Dec 18 23:59

SolReleased: Homework #12 solution

Dec 15

Trees(II)

Week 15

Dec 18

Combinatorial counting(I): [slides-zh]

HWReleased: Homework #13 DUE Dec 25 23:59

SolReleased: 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~