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.

Registration

Registration via OPAL is required until April 30, 2024.

Dates

Lecture	Thursday and Friday	[09:20 am – 10:50 am]	APB/E005
Tutorial	Thursday	[11:10 am – 12:40 pm]	APB/E005

The first lecture will be on Thursday, April 11, 2024. The first tutorial will be on Thursday, April 18, 2024.

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

Master Computational Modeling and Simulation

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

Contact

Dr. Sascha Klüppelholz

Send email

work Tel.