0 Preparation

Course Name: Logic in Computer Science

instructor: YUAN Mengting

email: ymt@whu.edu.cn

Final Exam!!!

• Propositional logic
• Predicate logic
• Model checking
• Program verification
• Modal logics