In case you need an earlier exam just let me know.

The

- Lecture: Tuesday 14:15-15:45 in H11
- Problem classes:
- Tue 16-18 in U2-232 (Constantin Lefeld)
- Tue 16-18 in T2-233 (Jakob Niermann)
- Wed 8-10 in U2-232 (Frederic Alberti)
- Wed 16-18 in U2-147 (Hannah Schweizer)
- Thu 12-14 in C01-136 (Luigi Esercito and Enrico di Gaspero,
**in English**)

- Written exam: Thursday 16
^{th}February 2022 at 10:00 in H1 - Duration: 90 min
- Allowed tools: Pen, brain (no own paper, no cheat sheet)
- Typical problems would look like exercises 1, 5, 6, 9, 10, 14, 17, 18, 19, 22, 26, 27, 29, 31, 33, 34, 35, 39, 42, 43, 45, 46, 47, 48.
- Second exam: 4. April. Free slots: 10:00, 10:30, 11:30, 17:00, 17:30.

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.

- Sheet 1 from 11
^{th}Oct 2022 - Sheet 2 from 18
^{th}Oct 2022 - Sheet 3 from 25
^{th}Oct 2022 - Sheet 4 from 8
^{th}Nov 2022 - Sheet 5 from 15
^{th}Nov 2022 - Sheet 6 from 22
^{nd}Nov 2022 - Sheet 7 from 29
^{th}Nov 2022 (corrected version from 1^{st}Dec) - Sheet 8 from 6
^{th}Dec 2022 - Sheet 9 from 13
^{th}Dec 2022 - Sheet 10 from 20
^{th}Dec 2022 - Sheet 11 from 10
^{th}Jan 2023 - Sheet 12 from 17
^{th}Jan 2023 (final sheet; corrected version from 18^{th}Jan)

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.

- NWI Bachelor: strukturierte Ergänzung
- BIG Bachelor: Wahlpflicht Bioinformatik (benotet oder unbenotet), oder strukturierte Ergänzung
- KOI Bachelor: Wahlpflicht Intelligente Systeme, oder strukturierte Ergänzung
- Informatik Bachelor: Wahlpflicht Informatik, oder strukturierte Ergänzung
- NWI Master: Grundlagen Ergänzung
- BIG Master: Grundlagen Ergänzung
- ISY Master: Grundlagen Ergänzung

- Many
excellent videos on several topics in logic, maths, computer science;
in particular,

A great video on Gödel's (in)completeness theorems. - An explanation of how many infinities are there (also the link at 1:25). The other videos of PBS Infinite Series (on logic or else) are also good.
- Proof sketch of the Banach Tarski paradox
- ...and of course everything from 3blue1brown

- Uwe Schöning: Logic for Computer Scientists
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic
- Wolfgang Rautenberg: A Concise Introduction to Mathematical Logic
- Uwe Schöning: Logik für Informatiker (German)
- Martin Kreuzer, Stefan Kühling: Logik für Informatiker (German)