Advanced Logics (SS2025)

Lecture “Advanced Logics”

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

• Christel Baier
• Jakob Piribauer

Umfang (SWS)

• 4/2/0

Module

• CMS-LM-ADV
• CMS-LM-MOC
• INF-B-510
• INF-B-520
• INF-BAS6
• INF-VERT6
• MCL-AL

Vorlesungsreihe

• Advanced Logics

• Information

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 30 April.

Prerequisites

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

Dates

• Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting 10 April)
• Tutorial: Thursdays, 11:10–12:40, APB E005 (starting 17 April)

Creditability

Bachelor Informatik

• INF-B-510: oral exam (30 minutes)
• INF-B-520: oral exam (30 minutes)

Master Informatik

• INF-BAS6: exam according to module description
• INF-VERT6: exam according to module description

Diplom Informatik

• INF-BAS6: exam according to module description
• INF-VERT6: exam according to module description

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)

Contact

Please contact Sascha Klüppelholz for organisational questions.