Lecture “Advanced Logics”
Lecture “Advanced Logics”
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) im SS 2026
Dozent
Umfang (SWS)
- 4/2/0
Sprache
- auf Englisch
Module
The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.
This lecture is in English.
Registration
Registration via Opal is required until April 30. We will provide a link to Opal once the course is set up.
Prerequisites
For the course, basic knowledge in algorithms, complexity theory, automata theory and logic is presumed.
Dates
- Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 16)
- Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 23)
Creditability
Bachelor Informatik (PO 2009)
Master Informatik (PO 2010)
Diplom Informatik (PO 2010)
Master Computational Logic
- MCL-AL: exam according to module description
Master Computational Modeling and Simulation
- CMS-LM-MOC: oral exam (30 minutes)
- CMS-LM-ADV: oral exam (30 minutes)
- CMS-LM-AI: oral exam (30 minutes)
Master Informatik (PO 2025)
- INF-25-Ma-FTK-TI: exam according to module description
Diplom Informatik (PO 2025)
- INF-25-Ma-FTK-TI: exam according to module description
Oral Exams
Appointments for the oral examination are made via our secretary's office. Please contact Andrea Kühn via email.
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
