After successful completion of the course, students are able
The following topics are covered:
Used methodes:
Preliminary meeting and first lecture: Wednesday, March 4th 2020, 1:15p.m. - 3:00p.m., lecture hall EI 10 (Fritz Paschke)
Workload estimation (ECTS breakdown): 75 hours = 3 ECTS
All information, course material and the assignments for the homework exercises will be provided in the TUWEL-course related to this course.
For further questions please contact: tgiwi@list.tuwien.ac.at
Course registration is mandatory to attend the class.
The student has to be enrolled for at least one of the studies listed below
Propositional calculus, programming skills (e.g. Java)