Komplexität und Logik (Seminar)

Modultitel (englisch)

Complexity and Logic

Modul-Verantwortliche/r

Olaf Beyersdorff

Zusammensetzung des Moduls / Lehrformen  (V, Ü, S, Praktikum, …)

2 S

Leistungspunkte (ECTS credits)

3 LP

Inhalte

In dem Seminar werden wir uns mit weiterführenden Themen zur erststufigen Logik befassen. Das Seminar baut auf der VL Logiksysteme aus dem WS 2025/26 auf. Vorkenntnisse aus dieser Vorlesung sind erforderlich.

Di., 12:00 – 14:00 Uhr

Inselplatz 5: SR 3037

Lektüreempfehlung: Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik, Springer, 2018.