Advanced Logics

Prof. Dr. Christel Baier
SWS: (4/2/0), in English

Description

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.

Dates

The first lecture will be on Thursday, April 15, 2021. The first tutorial will be on Thursday, April 22, 2021.

The course will start in online mode. Course material (lecture notes, exercises) and links to the zoom sessions will be made available via OPAL. Depending on the development of the Corona pandemic, we might switch later to physical courses and tutorials in room APB/E005.

Registration

Please register via OPAL until Sunday, April 11, 2021. All registered students will receive information about the lectures in the first week on April 12. Late registration is possible until April 18, 2021. 

Prerequisites

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

Creditability

Bachelor Informatik

• INF-B-510: Vertiefung
• INF-B-520: Vertiefung zur Bachelor-Arbeit

Master Informatik

• INF-BAS6: Basismodul Theoretische Informatik
• INF-VERT6: Vertiefungsmodul Theoretische Informatik

Master Computational Logic

• MCL-AL: Advanced Logic

Diplom Informatik

• INF-BAS6: Basismodul Theoretische Informatik
• INF-VERT6: Vertiefungsmodul Theoretische Informatik

Diplom Informatik (DPO 2004)

• INF-04-FG-IS: Fachgebiet Intelligente Systeme
• INF-04-FG-TP: Fachgebiet Theorie der Programmierung

Master Computational Modeling and Simulation

• CMS-LM-MOC: Models of Computation
• CMS-LM-ADV: Advanced Logical Modeling

Contact