Course Schedule

Week 1:

Sep. 15, 2025

Lec 1: Introduction & Propositional Logic I
Slides: 1.Overview.pdf 2.Propositional Logic.pdf

Sep. 18, 2025

Lec 2: Propositional Logic II
Slides: 2.Propositional Logic.pdf

Week 2:

Sep. 22, 2025

Lec 3: Propositional Logic III
Slides: 2.Propositional Logic.pdf 3.SAT Solver.pdf
Notes: SAT Solver Notes.pdf

Week 3:

Sep. 29, 2025

Lec 4: Propositional Logic IV
Slides: 3.SAT Solver.pdf
Notes: SAT Solver Notes.pdf

Week 5:

Oct. 13, 2025

Lec 5: Propositional Logic V
Slides: 3.SAT Solver.pdf

Oct. 16, 2025

Lec 6: Propositional Logic VI
Slides: 3.SAT Solver.pdf 4.The Application of Propositional Logic.pdf 5.Deduction.pdf

Week 6:

Oct. 20, 2025

Lec 7: Propositional Logic VII
Slides: 5.Deduction.pdf , 6.Predicate Logic.pdf

Week 7:

Oct. 27, 2025

Lec 8: Predicate Logic I
Slides: 6.Predicate Logic.pdf

Oct. 30, 2025

Lec 9: Predicate Logic II
Slides: 7.SMT Solver.pdf

Week 8:

Nov. 03, 2025

Lec 10: Predicate Logic III
Slides: 8.Symbolic Execution.pdf , 9.The Application of Predicate Logic.pdf

Week 9:

Nov. 10, 2025

Lec 11: Predicate Logic IV
Slides: 10.Hoare Logic.pdf

Nov. 13, 2025

Lec 12: Predicate Logic V
Slides: 10.Hoare Logic.pdf

Week 10:

Nov. 17, 2025

Lec 13: Set Theory I
Slides: 11.Set_Theory.pdf

Week 11:

Nov. 24, 2025

Lec 14: Set Theory II
Slides: 12.Set_Theory_II.pdf

Nov. 27, 2025

Lec 15: Binary Relations I
Slides: 13.Binary Relations.pdf

Week 12:

Dec. 01, 2025

Lec 16: Binary Relations II
Slides: 14.Order Relation.pdf

Week 13:

Dec. 08, 2025

Lec 17: Binary Relations III
Slides: 14.Order Relation.pdf

Dec. 11, 2025

Lec 18: Function
Slides: 16.Function.pdf

Week 14:

Dec. 15, 2025

Lec 19: Turing Machines I
Slides: 17.Turing_Machine_I.pdf

Week 15:

Dec. 22, 2025

Lec 20: Turing Machines II
Slides: 17.Turing_Machine_II.pdf

Dec. 25, 2025

Lec 21: Review
Slides: Final.pptx

Week 16:

Dec. 29, 2025

Lec 22: Quiz
往年试卷与答案: quiz.7z