After successful completion of the course, students are able to
14h lectures14h preparation for and repetition of lectures26h solving exercise sheets19h exam preparation 2h exam-----------------75h (= 25h * 3ECTS)
Additional details see: https://tuwel.tuwien.ac.at/mod/forum/discuss.php?d=352993
The final evaluation is based on the performance in the exercise part and a written exam.
Please notice that it is not allowed to register both for this course and for the course "Data Base Systems". Students enrolled for both courses simultaneously will be removed from both courses.
Registrations from students from Informatics, Business Informatics, and Mathematics will be confirmed. Confirmations of registrations from other studies depend on capacity.
There are no formal prerequisites for this course. However, it is strongly recommended to take the course "Formal Modelling" prior to this course.