Introduction

The course provides a broader understanding of logic and builds upon the corresponding lecture from the bachelor programme. The following topics are discussed:

• Semantics and proof systems for first-order logic.
• Semantics and proof systems for equational logic.
• Introduction to second-order logic and modal logic.
• Use of interactive provers.

Literature

The lecture is based on the following books.

Michael Huth and Mark Ryan, Logic in Computer Science (second edition).
Cambridge University Press, 2004, ISBN 978-0-521-54310-1 (paperback).

Mordechai Ben-Ari: Mathematical logic for computer science.
Springer, 2nd ed. 2001. ISBN 978-1-85233-319-5 (paperback).

Language

The course is taught in English.

Prerequisites

Logic from the bachelor programme or logic in computer science (Algorithmische Mathematik 7). Registration to the course is not required.