Mathematical Logic

SS 2023

Note: This course will be held in German (except for tutorial 13).


  • The exam review for the first exam takes place on Friday (1st September) at the AH IV (2354|030). Depending on your matriculation number, please arrive exactly at the time given below, if possible.
    • 000000-396589: 12:30
    • 396590-407999: 13:00
    • 408000-422289: 13:30
    • 422290-432199: 14:00
    • 432200-434109: 14:30
    • 434110-434579: 15:00
    • 434580-435496: 15:30
    • 435497-999999: 16:00
  • Exam registration: Visit RWTHonline to register for the exam (first exam or second exam). Please pay attention to the registration and deregistration deadlines in RWTHonline.

  • Registration: Please register via RWTHonline both to the lecture and to the tutorials. The exams require separate registrations.

  • This year's lectures are recorded by the Video AG. Videos are available at

  • Moodle course: Current information and course materials are published exclusively via Moodle.

    • Your registration to the lecture will automatically grant you access to our Moodle course after a delay of up to 24 hours.

    • This web page will not be updated regularly.

    • In case of Moodle outages, we will put announcements and password protected course materials here.

  • Contact: Please send an e-mail to Lovro Mrkonjić if any questions or technical issues arise.

→ MaLo-Portal ←

The MaLo-Portal displays your current points and preliminary exam results, if available.


Type Date Location   Organizer
V3 Wed 09:00 10:00 1420|002 (Roter Hörsaal) Lecture (Start 5th April) E. Grädel
Thu 14:30 15:45 1420|002 (Roter Hörsaal) Lecture (Start 6th April) E. Grädel
Ü2 Mon 10:30 12:00 1385|218 (H11) Tutorial 12 (Start 17th April) E. Zimmer
Mon 12:30 14:00 2356|056 (5056) Tutorial 13 (Start 17th April), in English T. Novotný
Wed 10:30 12:00 1385|004 (amazon-Hörsaal (H06)) Tutorial 01 (Start 12th April) R. Meffert
Wed 12:30 14:00 2350|028 (AH I) Tutorial 02 (Start 12th April) B. Pago
Wed 14:30 16:00 1385|104 (H07) and online (link) Tutorial 03 (Start 12th April) J. Arpasi
Wed 16:30 18:00 2350|028 (AH I) Tutorial 04 (Start 12th April) M. Naaf
Thu 10:30 12:00 1385|219 (H08) Tutorial 05 (Start 13th April) I. Hergeth
Thu 12:30 14:00 1010|141 (IV) Tutorial 06 (Start 13th April) E. Lüpfert
Thu 16:30 18:00 2356|056 (5056) Tutorial 07 (Start 13th April) D. Zilken
Thu 18:30 20:00 online (Zoom) Tutorial 08 (Start 13th April) L. Mrkonjić
Fri 10:30 12:00 2356|050 (AH V) Tutorial 09 (Start 14th April) A. von Trotha
Fri 12:30 14:00 2350|028 (AH I) Tutorial 10 (Start 14th April) T. Becker
Fri 16:30 18:00 1010|141 (IV) Tutorial 11 (Start 14th April) D. Vitorino

Course Materials




The course Mathematical Logic is completed by passing a written exam lasting 120 minutes.

You are admitted to the exam if you obtain both 50% of all homework points and 50% of all eTest points.


  • Propositional logic (foundations, algorithmical questions, compactness, resolution, sequent calculus)
  • Structures, syntax and semantic of first-order logic
  • Introduction into other logics (modal and temporal logics, higher order logics)
  • Evaluation games, model comparison games
  • Proof calculi, term structures, completeness theorem
  • Compactness theorem and applications
  • Decidability, undecidability and complexity of logical specifications


[1] S. Burris. Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[2] R. Cori and D. Lascar. Logique mathématique. Masson, 1993.
[3] H. Ebbinghaus, J. Flum, and W. Thomas. Einführung in die mathematische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1986.
[4] M. Huth and M. Ryan. Logic in Computer Science. Modelling and reasoning about systems. Cambridge University Press, 2000.
[5] B. Heinemann and K. Weihrauch. Logik für Informatiker. Teubner, 1992.
[6] H. K. Büning and T. Lettman. Aussagenlogik: Deduktion und Algorithmen. Teubner, 1994.
[7] S. Popkorn. First Steps in Modal Logic. Cambridge University Press, 1994.
[8] W. Rautenberg. Einführung in die Mathematische Logik. Vieweg, 1996.
[9] U. Schöning. Logik für Informatiker. Spektrum Verlag, 1995.
[10] D. van Dalen. Logic and Structure. Springer, Berlin, Heidelberg, 1983.


  • Grundlagen der Informatik (B.Sc.) / Themenmodule / Themenmodul Wahlpflicht Mathematik
  • Informatik (B.Sc.) / Modulbereich Theoretische Informatik
  • Mathematik (B.Sc.) / Wahlpflichtbereich


  • basic mathematical knowledge from the lectures Discrete Structures and Linear Algebra
  • basic knowledge about recursion theory and complexity theory

Successive Courses

  • Mathematical Logic II
  • Logic and Games
  • Algorithmic Model Theory
  • other specialized lectures around the topic of Mathematical Logic


every year in the summer term


Erich Grädel, Lovro Mrkonjić