Course Calendar
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 2019-9-09 LEC 1: Introduction Slides: Intro |
2019-09-10 |
2019-09-11 |
2019-09-12 |
2019-09-13 Mid-autumn Day |
| 2019-09-16 LEC 2: Proof and Propositional Logic Slides: Proof, Propositional Logic Homework: homework1 Solution: solution1 |
2019-09-17 |
2019-09-18 |
2019-09-19 |
2019-09-20 LEC 3: Propositional Logic II Slides: Propositional Logic II |
| 2019-09-23 LEC 4: Propositional Logic III Slides: Propositional Logic III Homework: homework2 Solution: solution2 Due: homework1 |
2019-09-24 |
2019-09-25 |
2019-09-26 |
2019-09-27 |
| 2019-09-30 LEC 6: Propositional Logic V Slides:Propositional Logic V Due: homework2 |
2019-10-01 National Day |
2019-10-02 National Day |
2019-10-03 Lab1:lab1 Notice:notice |
2019-10-04 Change to September 29, 2019 LEC 5: Propositional Logic IV Slides:Propositional Logic IV |
| 2019-10-07 |
2019-10-08 |
2019-10-09 |
2019-10-10 |
2019-10-11 |
| 2019-10-14 LEC 7: Predicate Logic I Slides:Predicate Logic I Homework: homework3 Solution: solution3 |
2019-10-15 |
2019-10-16 |
2019-10-17 |
2019-10-18 LEC 8: Predicate Logic II Slides:Predicate Logic II |
| 2019-10-21 LEC 9: SMT I Slides: SMT I Homework: homework4 Solution: solution4 Due: homework3 |
2019-10-22 |
2019-10-23 |
2019-10-24 |
2019-10-25 Homework: homework5 Solution: solution5 |
| 2019-10-28 LEC 10: Quantifier and Hoare Logic Slides: SMT II, Hoare Logic I Homework: homework6 Solution: solution6 Due: homework4 |
2019-10-29 |
2019-10-30 |
2019-10-31 |
2019-11-01 LEC 11: Hoare Logic Slides: Hoare Logic II Homework: homework7 Solution: solution7 Due: homework5 Deadline of lab1 is November 3, 2019, 23:59 |
| 2019-11-04 Change LEC to 2019-11-02 LEC 12: Introduction to Computability and Set Theory Slides: Intro&Set_Theory Due: homework6 |
2019-11-05 Lab: lab2 |
2019-11-06 |
2019-11-07 |
2019-11-08 Tutorial: tutorial1 Due: homework7 |
| 2019-11-11 LEC 13: Set Theory II : ZF Axioms & Cardinality. Slides: Set Theory II Homework: homework8 Solution: solution8 |
2019-11-12 |
2019-11-13 |
2019-11-14 |
2019-11-15 LEC 14:Binary Relation I Slides:Binary_Relation_I Homework: homework9 Solution: solution9 |
| 2019-11-18 LEC 15:Binary Relation II Slides:Binary_Relation_II Homework: homework10 Solution: solution10 |
2019-11-19 |
2019-11-20 Due: homework8 |
2019-11-21 |
2019-11-22 Due: homework9 Tutorial: tutorial3 |
| 2019-11-25 LEC 16: Function Slides: Function Homework: homework11 Solution: solution11 Due: homework10 |
2019-11-26 |
2019-11-27 |
2019-11-28 |
2019-11-29 LEC 17: DFA & Turing Machine Basics Slides: Turing Machine I Homework :homework12 Solution: solution12 |
| 2019-12-02 LEC 18: Variants of Turing Machine, Church-Turing Thesis Slides: Turing Machine II Homework :homework13 Solution: solution13 Due: homework11 |
2019-12-03 Lab: lab3 Due: lab2 |
2019-12-04 |
2019-12-05 |
2019-12-06 Due: homework12 |
| 2019-12-09 LEC 19: RE&R, Universal Turing Machine Slides: Turing_Machine_III Homework :homework14 Solution: solution14 Due: homework13 |
2019-12-10 |
2019-12-11 |
2019-12-12 |
2019-12-13 LEC 20: Undecidability Slides: Undecidability Homework :homework15 Add on reduction addon Solution: solution15 |
| 2019-12-16 LEC 21: Machine Learning Slides: Classifier Due: homework14 |
2019-12-17 |
2019-12-18 |
2019-12-19 |
2019-12-20 Due: homework15 |
| 2019-12-23 LEC 22: Learned Index Slides: Lindex |
2019-12-24 |
2019-12-25 Tutorial: 15:00~17:00, 3101 Software School |
2019-12-26 |
2019-12-27 Quiz: Quiz |
| 2019-12-30 Final exam week |
2019-12-31 Final exam week Due: lab3 |
2020-01-01 Final exam week |
2020-01-02 Final exam week |
2020-01-03 Final exam week |
| 2020-01-06 Final exam week |
2020-01-07 Final exam week |
2020-01-08 Final exam week |
2020-01-09 Final exam week |
2020-01-10 Final exam week |