Lecturer: | Prof. Heiko Mantel |
Format: | Lecture with exercises (V4 + Ü2) |
Language: | English |
Place and Time: | Tuesday 11:40-13:20 in S2|02/C120 |
Wednesday 9:50-11:30 in S1|03/226 | |
Thursday 9:50-11:30 in S2|02/C110 | |
First Lecture: | Tuesday, April 12, 2011 |
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 18 July 2011.