Lecturers: 謝邁思 Max Schäfer.

This lecture aims to provide students with the logical background knowledge needed to understand and appreciate the other lectures. We will cover propositional and first-order classical logic, both from a semantic perspective and in the context of sequent calculus. Time permitting we will also take a brief look at logic programming in Datalog.

• Lecture notes.

There are several typos in the printed version of the lecture notes which have been corrected in the online version. Section 7 has been rewritten entirely, a handout of the new version will be provided in class.

• Solutions to Knights and Knaves Puzzles: Solutions
• Slides: day 1, day 2,day 3.
• Exercise: day 1 (model answers),day 2(model answers).

None

• Syntax and semantics of classical propositional logic
• The calculational approach to logic

• Syntax and semantics of classical first-order logic
• Sequent calculus

• First-order arithmetic
• Compactness and limits of first-order logic

• Dirk van Dalen: Logic and Structure
• Roland Backhouse: Program Construction