Course Schedule
Sep. 13, 2023
Lec 1: Introduction & Propositional Logic I
(Slides: 1.Overview.pdf, 2.Propositional Logic.pdf )
Sep. 15, 2023
Lec 2: Propositional Logic II
(Slides: 2.Propositional Logic.pdf )
Sep. 20, 2023
Lec 3: Propositional Logic III
(Slides: 3.SAT Solver.pdf )
Sep. 27, 2023
Lec 4: Propositional Logic IV
(Slides: 3.SAT Solver.pdf , Notes: SAT Solver Notes , Codes: SAT Solver Code )
Oct. 11, 2023
Lec 5: Propositional Logic V
(Slides: 3.SAT Solver.pdf, 4.The Application of Propositional Logic.pdf, 5.Deduction.pdf , Tutorials: 第一次习题课 , Labs: Lab1, Bonus Lab)
Oct. 13, 2023
Lec 6: Predicate Logic I
(Slides: 6.Predicate Logic.pdf )
Oct. 18, 2023
Lec 7: Predicate Logic II
(Slides: 5.Deduction.pdf, 6.Predicate Logic.pdf )
Oct. 25, 2023
Lec 8: Predicate Logic III
(Slides: 6.Predicate Logic.pdf )
Oct. 27, 2023
Lec 9: Predicate Logic IV
(Slides: 7.SMT Solver.pdf , Notes: SMT Solver Notes )
Nov. 01, 2023
Lec 10: The Application of Predicate Logic
(Slides: 7.SMT Solver.pdf, 8.Symbolic Execution.pdf , Notes: Symbolic Execution Notes , Labs: Lab2)
Nov. 08, 2023
Lec 11: Hoare Logic I
(Slides: 9.The Application of Predicate Logic.pdf, 10.Hoare Logic.pdf , Notes: Hoare Logic Notes )
Nov. 10, 2023
Lec 12: Hoare Logic II
(Slides: 10.Hoare Logic.pdf , Tutorials: 第二次习题课 )
Nov. 15, 2023
Lec 13: Set Theory I
(Slides: 11.Set Theory.pdf , Notes: Computability Notes I )
Nov. 22, 2023
Lec 14: Set Theory II
(Slides: 12.Set Theory II.pdf )
Nov. 24, 2023
Lec 15: Binary Relation I
(Slides: 13.Binary Relations I.pdf )
Nov. 29, 2023
Lec 16: Binary Relation II
(Slides: 14.Binary Relations II.pdf )
Dec. 06, 2023
Lec 17: Binary Relations III
(Slides: 15.Binary Relations III.pdf )
Dec. 08, 2023
Lec 18: Function
(Slides: 16.Function.pdf )
Dec. 13, 2023
Lec 19: Turing Machine I
(Slides: 17.Turing Machines I.pdf )
Dec. 20, 2023
Lec 20: Turing Machine II
(Slides: 18.Turing Machines II.pdf )
Dec. 22, 2023
Lec 21: Turing Machines III & Review
(Slides: No slides )