Course Calendar
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 2020-09-07 |
2020-09-08 |
2020-09-09 LEC 1: Introduction Slides: Introduction |
2020-09-10 |
2020-09-11 LEC 2: Propositional Logic I Slides: Basic Concepts Homework 1 in canvas |
| 2020-09-14 |
2020-09-15 |
2020-09-16 LEC 3: Propositional Logic II Slides: Basic Concepts |
2020-09-17 |
2020-09-18 |
| 2020-09-21 |
2020-09-22 |
2020-09-23 LEC 4: Propositional Logic III Notes: Notes Slides: SAT Solver |
2020-09-24 |
2020-09-25 LEC 5: Propositional Logic IV Notes: Notes Sweet: sat-solver-zip Slides: SAT Solver |
| 2020-09-28 |
2020-09-29 |
2020-09-30 LEC 6: Propositional Logic V Slides: Deduction |
2020-10-01 |
2020-10-02 |
| 2020-10-05 |
2020-10-06 |
2020-10-07 |
2020-10-08 |
2020-10-09 LEC 7: Predicate Logic I Slides: Predicate Logic |
| 2020-10-12 |
2020-10-13 |
2020-10-14 LEC 8: Predicate Logic II Slides: Predicate Logic |
2020-10-15 |
2020-10-16 |
| 2020-10-19 |
2020-10-20 |
2020-10-21 LEC 9: SMT Solver I Notes: SMT Solver Notes Slides: SMT Solver |
2020-10-22 |
2020-10-23 LEC 10: SMT Solver II Notes: SMT Solver Notes Slides: SMT Solver Sweet: Z3 |
| 2020-10-26 |
2020-10-27 |
2020-10-28 LEC 11: Hoare Logic I Notes: Symbolic Execution Notes Slides: Symbolic Execution Notes: Hoare Logic Slides: Hoare Logic |
2020-10-29 |
2020-10-30 |
| 2020-11-02 |
2020-11-03 |
2020-11-04 LEC 12: Hoare Logic II Notes: Hoare Logic Slides: Hoare Logic |
2020-11-05 |
2020-11-06 LEC 13: Set Theory I Slides: Set Theory |
| 2020-11-09 |
2020-11-10 |
2020-11-11 LEC 14: Set Theory II Slides: Set Theory II Assignments: 作业10 |
2020-11-12 |
2020-11-13 |
| 2020-11-16 |
2020-11-17 |
2020-11-18 LEC 15: Binary Relations I Slides: Binary Relations Assignments: 作业11 |
2020-11-19 |
2020-11-20 |
| 2020-11-23 |
2020-11-24 |
2020-11-25 LEC 16: Binary Relations II Slides: Binary Relations II |
2020-11-26 |
2020-11-27 |
| 2020-11-30 |
2020-12-01 |
2020-12-02 LEC 17: Function Slides: Function Assignments: 作业12 |
2020-12-03 |
2020-12-04 LEC 18: Turing Machine I Slides: Turing Mahine I |
| 2020-12-07 |
2020-12-08 |
2020-12-09 LEC 19: Turing Machine II Slides: Turing Mahine II Assignments: 作业13 |
2020-12-10 |
2020-12-11 |
| 2020-12-14 |
2020-12-15 |
2020-12-16 LEC 20: Turing Machine III & Undecidability Slides: Turing Mahine III & Undecidability |
2020-12-17 |
2020-12-18 LEC 21: Final Session Slides: Final Session Slides: 20201219答疑 |
| 2020-12-21 |
2020-12-22 |
2020-12-23 Quiz Seats: Seats 往年试卷: 2019 |
2020-12-24 |
2020-12-25 |
| 2020-12-28 |
2020-12-29 |
2020-12-30 |
2020-12-31 |
2021-01-01 |
| 2021-01-04 |
2021-01-05 |
2021-01-06 |
2021-01-07 |
2021-01-08 |