Lecturer: Prof. Heiko Mantel
Format: V4 + Ü2
Place and Time:
The lecture starts on Thursday, 03.04.2008.
Exam:
Content:
The course gives an overview on formal approaches to:
The topics covered include:
Prerequisites:
Knowledge of Computer Science and Mathematics, equivalent to the first four Semesters in the Computer Science Bachelor program, in particular
Literature:
Scientific articles (to be announced in the lecture) and slides of the lectures (will be available online after the lecture). Additionally, e.g., one of the following books: