Formal Logic

The second exam was an oral exam (mündliche Prüfung). It took place mostly on Tuesday 4. April in U4-135. The first exam took place on 16. Februrary 2023. Results should be visible in your Leistungsübersicht in the Prüfungsverwaltung.

Where und When:

Here the link to the ekvv-entry.


Formal logic appears naturally in several places in computer science: Logic gates are the elementary building blocks of integrated circuits. Proofs of NP-hardness often use reductions to satisfiability of Boolean expressions. Logic provides a concept of computability, and a wealth of well-posed problems that cannot be solved algorithmically in general. Propositional and first-order logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms.

This one-semester course offers an introduction to advanced topics of formal logic. After setting the ground by delving into propositional logic, this course covers first-order logic and modal logic (with some focus on normal forms and the algorithmic treatment of logic formulas) as well as concepts and questions about (un-)decidabilty, like the Gödel theorems and un-computable problems.

Exercise Sheets

The 2h lectures are accompanied by problem sheets. Solutions to the problem sheets will be handed in by the students (single, or groups of two) and discussed in the problem classes. In any case it is important that all students worked on all exercises, otherwise you will not learn enough. Any student who presents his/her solution to a problem class gets one point bonus for the written exam (at most two).

Lecture notes

The lecture notes. Please let me know if you find any errors, including typos.

If you know Anki Flashcards: here are sets of those that can be used to memorize the lecture or prepare for the exams (thanks to Constantin). ...or all in one.

Assessment: 5 Credit points for solving 50% of the exercises on the problem sheets, and passing the written exam at the end of the course.


One can find a lot of misleading, false or superficial information in the web. But there are exceptions:


Last change 2.4.2023       Dirk Frettlöh