6.0/4.0 VU Formal Methods in Computer Science (185.291)

This page provides information in addition to the main resources:

Slides and exercises

Slides and exercises can be found in the TUWEL course for the respective term. Some of this material can also be found here.

Previous exams

2017: 27.1. 17.3. 5.5.
2016: 29.1. 18.3. 6.5. 1.7. 21.10. 9.12.
2015: 30.1. 27.3. 8.5. 3.7. 16.10. 4.12.
2014: 31.1. 28.3. 9.5. 4.7. 17.10. 5.12.
2013: 1.2. 22.3. 3.5. 28.6. 18.10. 6.12.
2012: 3.2. 23.3. 4.5. 29.6. 19.10. 7.12.
2011: 28.1. 25.3. 6.5. 1.7. 28.10. 9.12.

Grades

See TUWEL.

There are some grade statistics (in German).


salzer@logic.at