|Lecturer:||Prof. Heiko Mantel|
|Format:||Lecture with exercises (V4 + Ü2)|
|Place and Time:||Tuesday 11:40–13:20 in S2|02/C120 (lecture/exercise)
||Thursday 09:50–11:30 in S2|02/C110 (lecture/exercise)|
||Friday 13:30–15:10 in S2|02/C110 (exercise/lecture)|
|First Lecture:||Thursday, April 15, 2010|
The course (see also the description of the module) gives an overview on formal approaches to:
The topics covered include:
Additional information for participants can be accessed using the password that is communicated during the first lecture.
Knowledge of Computer Science and Mathematics, equivalent to the first four Semesters in the Computer Science Bachelor program, in particular
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:
Last modified on 22 May 2011.