Course Schedule

Week 1:

Sep. 19, 2024

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

Week 2:

Sep. 23, 2024

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

Sep. 29, 2024

Lec 3: Propositional Logic III
Slides: 2.Propositional Logic.pdf

Week 3:

Sep. 30, 2024

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

Week 4:

Oct. 17, 2024

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

Week 5:

Oct. 19, 2024

Lec 6: Propositional Logic VI
Slides: 3.SAT Solver.pdf

Week 6:

Oct. 21, 2024

Lec 7: Propositional Logic VII
Slides: 4.The Application of Propositional Logic.pdf , 5.Deduction.pdf

Week 7:

Oct. 28, 2024

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

Oct. 31, 2024

Lec 9: Predicate Logic II
Slides: 6.Predicate Logic.pdf

Week 8:

Nov. 04, 2024

Lec 10: Predicate Logic III
Slides: 7.SMT Solver.pdf , 8.Symbolic Execution.pdf

Week 9:

Nov. 11, 2024

Lec 11: Predicate Logic IV
Slides: 9.The Application of Predicate Logic.pdf

Nov. 14, 2024

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

Week 10:

Nov. 18, 2024

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

Week 11:

Nov. 25, 2024

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

Nov. 28, 2024

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

Week 12:

Dec. 02, 2024

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

Week 13:

Dec. 09, 2024

Lec 17: Binary Relations III
Slides: 15.Binary Relation III.pdf

Dec. 12, 2024

Lec 18: Function
Slides: 16.Function.pdf

Week 14:

Dec. 16, 2024

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

Week 15:

Dec. 23, 2024

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

Dec. 26, 2024

Lec 21: Review
Slides: Final.pdf

Week 16:

Dec. 30, 2024

Lec 22: Quiz

notes