Course Schedule
Sep. 14, 2022
Lec 1: Introduction
(Slides: 1.Overview.pdf )
Sep. 16, 2022
Lec 2: Propositional Logic I
(Slides: 2.Propositional Logic.pdf )
Sep. 21, 2022
Lec 3: Propositional Logic II
(Slides: 2.Propositional Logic.pdf )
Sep. 28, 2022
Lec 4: Propositional Logic III
(Slides: 3.SAT Solver.pdf , Notes: SAT Solver Notes )
Sep. 30, 2022
Lec 5: Propositional Logic IV
(Slides: 3.SAT Solver.pdf , Notes: SAT Solver Notes , Tutorials: Tutorial1 )
Oct. 12, 2022
Lec 6: Propositional Logic V
(Slides: 3.SAT Solver.pdf , Notes: SAT Solver Notes , Codes: Example Code)
Oct. 14, 2022
Lec 7: Propositional Logic VI, Predicate Logic I
(Slides: 4.Deduction.pdf, 5.Predicate Logic.pdf )
Oct. 19, 2022
Lec 8: Predicate Logic II
(Slides: 5.Predicate Logic.pdf )
Oct. 26, 2022
Lec 9: Predicate Logic III
(Slides: 5.Predicate Logic.pdf )
Oct. 28, 2022
Lec 10: Predicate Logic IV
(Slides: 6.SMT Solver.pdf, 7.Symbolic Execution.pdf , Notes: SMT Solver Notes, Symbolic Execution Notes )
Nov. 02, 2022
Lec 11: Hoare Logic I
(Slides: 8.Hoare Logic.pdf , Notes: Hoare Logic Notes )
Nov. 09, 2022
Lec 12: Hoare Logic II
(Slides: 8.Hoare Logic.pdf , Notes: Hoare Logic Notes )
Nov. 11, 2022
Lec 13: The Application of CDM
(Slides: 9.The Application of CDM.pdf , Tutorials: Tutorial3 , Codes: Demo)
Nov. 16, 2022
Lec 14: Set Theory I
(Slides: 10.Set Theory.pdf )
Nov. 23, 2022
Lec 15: Set Theory II
(Slides: 11.Set Theory II.pdf )
Nov. 25, 2022
Lec 16: Binary Relation I
(Slides: 12.Binary Relations I.pdf )
Nov. 30, 2022
Lec 17: Binary Relation II
(Slides: 13.Binary Relations II.pdf )
Dec. 07, 2022
Lec 18: Binary Relations III
(Slides: 14.Binary Relations III.pdf )
Dec. 09, 2022
Lec 19: Functions & Turing Machine I
(Slides: 15.Functions & Turing Machines I.pdf )
Dec. 14, 2022
Lec 20: Turing Machine II
(Slides: 16.Turing Machines II.pdf )
Dec. 21, 2022
Lec 21: Turing Machine III&Undecidability
(Slides: 17.Turing Machines III Undecidability.pdf )
Dec. 23, 2022
Lec 22: Review
(Slides: Final.pdf )