FB20 Computer Science · 3 CP · Offered in WiSe 2026/27, WiSe 2025/26
Average of averages
1.20
Every semester counts equally, whatever its size.
Pooled average
1.20
Weighted by cohort size — what an arbitrary student across all semesters scored.
Pass rate
100%
Share of results at 4.0 or better. 4.0 is the last passing grade.
Semesters with data
1
The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.
Reported Sep 1, 2026
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
No weekly sessions listed.
In dem Seminar werden aktuelle Verifikationstools und Beweisassistenten vorgestellt. Es werden dabei sowohl die theoretischen Grundlagen auf denen die Werkzeuge aufbauen vorgestellt, als auch deren praktische Anwendung anhand einer gemeinsamen Beispielsammlung. Damit soll ein Vergleich der unterschiedlichen Ansätze ermöglicht werden.
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong