Lecturer: | Prof. Dr.-Ing. Heiko Mantel and Jinwei Hu, Ph.D. |
Format: | Lecture with exercises (V4 + Ü2) |
TUCAN Id: | 20-00-0362-iv |
Language: | English |
Place and time: | Tuesday 11:40-13:20 in S2|02/C120 |
Wednesday 9:50-11:30 in S1|03/226 (Exception: 07.05.2014 in S1|03/223) |
|
Thursday 9:50-11:30 in S2|02/C110 | |
Midterm exam: | Tuesday, 03.06.2014, 11:40-13:20 in room S101/A01 exam inspection: Thu, 03.07.2014, 15:00-16:00, S2|02 E302 (bring your student card and photo ID!) |
Final exam: | Thursday, 17.07.2014, 9:50-11:30 in room S103/221 New: The resulting grades can now be found in TUCaN. Exam inspection: Tue, 09.09.2014, room S2|02 A213, at 13:00 (last names A-L) and 13:30 (last names M-Z) |
Assistant: | Dipl.-Inform. Richard Gay (office hour: Thu, 14:30-15:30) |
The internal page for participants can be accessed using the password that is communicated during the first lecture. The page contains the following slides and exercises, newest first:
The course (see also the description in TUCaN) gives an overview on formal approaches to:
The topics covered include:
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 14 August 2014.