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.

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

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

Powered by Dokuwiki. Template derived from mmClean, courtesy of zenzire. Banner image courtesy of aireheru, distributed under CC 2.0-by-nc-sa.