Learning outcomes:
Students are able
The following topics are covered:
Learning activities in this course will comprise lectures, homework assignments which will be presented and graded during classes, and two written exams. Exercises include
Preliminary meeting and first lecture: Wednesday, March 6th 2019 (entrance 01:00 p.m., start of lecture 01:15 p.m.)
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: Stefan.Podlipnig@tuwien.ac.at
To pass the course successfully it is required to solve a certain number of homework exercises, and to get a positive assessment for the presentation of solved homework exercises during classes. In addition, the sum of the best two tests (out of three) has to excel a certain threshold. The test examples resemble the examples from the exercises.
Course registration is mandatory to attend the class.
Propositional calculus, programming skills (e.g. Java)