The course introduces the necessary concepts of mathematical logic in computer science.
- Instructor:
Mingxin He (何明昕) - Semester:
2023 Spring - Textbook:
Introduction To Logic, 14th edition, Copi&Cohen
- Slides: Lecture slides
- Assignment: Handwritten assignments with full problems and reference solutions
- Text: Reading materials
| Chapter | Content | Note |
|---|---|---|
| Introduction | Overview Inference Rules Syntax Parsing |
Lots of rules to remember :( |
| Natural Deduction | Derivations and proofs Semantics and Truth Table |
Know how to prove the sequent |
| Formal Proof | Rules and Proofs Equivalence Normal Forms SAT Resolutions with Completeness |
Lots of concepts :( |
| First Order Logic | Rules & Formal Proof in FOL Substitution CNF Terms and Unification Resolution |
Qualifiers matter |
| Program Verification | Assignment & Array Condition Loop Correctness |
Hard to write a program Even harder to prove its correctness |
The test problems are similar to the assignments. It's allowed to bring a hand-written cheatsheet in A4 size.