Advanced Logics Summer Term 2010
Thursday 2.DS [09.20-10.50] INF/E05
Wednesday 2.DS [9.20-10.50] Dr.rer.nat. Walter Nauber
All classes take place in INF/E05.
This course is mandatory for the master program computational logic, but can also be attended by diploma and bachelor students. For details see German webpage
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 Informatics, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.
Lecture notes (no longer available)
Excercises (no longer available)