Course Calendar
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 2021-9-13 |
2021-9-14 |
2021-9-15 |
2021-9-16 |
2021-9-17 LEC 1: Introduction Slides: Introduction |
| 2021-9-20 |
2021-9-21 |
2021-9-22 LEC 2: Propositional Logic I Slides: Basic Concepts |
2021-9-23 |
2021-9-24 LEC 3: Propositional Logic II Slides: Basic Concepts |
| 2021-9-27 |
2021-9-28 |
2021-9-29 |
2021-9-30 |
2021-10-1 |
| 2021-10-4 |
2021-10-5 |
2021-10-6 |
2021-10-7 |
2021-10-8 LEC 4: Propositional Logic III Notes: SAT Solver Notes Slides: Basic Concepts, SAT Solver |
| 2021-10-11 |
2021-10-12 |
2021-10-13 |
2021-10-14 |
2021-10-15 LEC 5: Propositional Logic IV Notes: SAT Solver Notes Slides: SAT Solver |
| 2021-10-18 |
2021-10-19 |
2021-10-20 LEC 6:Propositional Logic V Slides: Deduction |
2021-10-21 |
2021-10-22 LEC 7:Predicate Logic I Slides: Basic Concepts |
| 2021-10-25 |
2021-10-26 |
2021-10-27 |
2021-10-28 |
2021-10-29 LEC 8:Predicate Logic II Slides: Basic Concepts |
| 2021-11-1 |
2021-11-2 |
2021-11-3 LEC 9:Predicate Logic III Slides: Basic Concepts |
2021-11-4 |
2021-11-5 LEC 10:Predicate Logic IV Notes: SMT Solver Notes Slides: SMT Solver Notes: Symbolic Execution Notes Slides: Symbolic Execution |
| 2021-11-8 |
2021-11-9 |
2021-11-10 |
2021-11-11 |
2021-11-12 LEC 11:Hoare Logic I Notes: Hoare Logic Notes Slides: Hoare Logic Tutorial: Tutorial 1 |
| 2021-11-15 |
2021-11-16 |
2021-11-17 LEC 12:Hoare Logic II Notes: Hoare Logic Notes Slides: Hoare Logic |
2021-11-18 |
2021-11-19 LEC 13:Set Theory I Slides: Intro&Set Theory |
| 2021-11-22 |
2021-11-23 |
2021-11-24 |
2021-11-25 |
2021-11-26 LEC 14:Set Theory II Slides: Set Theory II |
| 2021-11-29 |
2021-11-30 |
2021-12-1 LEC 15:Binary Relation I Slides: Binary Relation I |
2021-12-2 |
2021-12-3 LEC 16:Binary Relation II Slides: Binary Relations II Tutorial2: Tutorial 2 |
| 2021-12-6 |
2021-12-7 |
2021-12-8 |
2021-12-9 |
2021-12-10 LEC 17:Function Slides: Function |
| 2021-12-13 |
2021-12-14 |
2021-12-15 LEC 18:Turing Machine I Slides: Turing Machine I |
2021-12-16 |
2021-12-17 LEC 19:Turing Machine II&Undecidability Slides: Turing Machine II&Undecidability |
| 2021-12-20 |
2021-12-21 |
2021-12-22 |
2021-12-23 |
2021-12-24 LEC 20:Turing Machine II&Undecidability Slides: Turing Machine II&Undecidability Slides: review for set theory, binary relations and function Tutorial3: Tutorial 3 |
| 2021-12-27 |
2021-12-28 |
2021-12-29 LEC 21:Final Review Slides: Final |
2021-12-30 |
2021-12-31 Quiz 往年试卷 2020 2019 Seats Seats |
| 2022-1-3 |
2022-1-4 |
2022-1-5 |
2022-1-6 Final examination |
2022-1-7 |
| 2022-1-10 |
2022-1-11 |
2022-1-12 |
2022-1-13 |
2022-1-14 |