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 | |
Assistant: | Sarah Ereth |
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:
Registration Period: | April 1, 2012 - April 29, 2012 (attention: Sunday!) |
Mid-term Examination: | Tuesday, May 29, 2012 |
Final Examination: | Thursday, July 12, 2012 |
Last modified on 4 June 2013.