Advanced Logics
Prof. Dr. Christel Baier, Dr. Jakob Piribauer
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
| Lecture | Thursday and Friday | [09:20 am – 10:50 am] |
| Tutorial | Thursday | [11:10 am – 12:40 pm] |
The first lecture will be on Thursday, April 07, 2022. The first tutorial will be on Thursday, April 14, 2022.
The course will be in online mode. Course material (lecture notes, exercises) and links to the zoom sessions will be made available via OPAL.
Registration
Please register via OPAL until Sunday, April 06, 2022. All registered students will receive information about the lectures in the first week on April 07. Late registration is possible until April 13, 2022.
Prerequisites
For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.
Creditability
Bachelor Informatik
Master Informatik
Master Computational Logic
- MCL-AL: Advanced Logic
Diplom 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
Jakob Piribauer
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).