SoSe 2025
Missing (medical excuse): 2Missing (no reason): 3Reported Aug 31, 2026
FB20 Computer Science · Offered in SoSe 2026, SoSe 2025
Average of averages
2.12
Every semester counts equally, whatever its size.
Pooled average
2.22
Weighted by cohort size — what an arbitrary student across all semesters scored.
Pass rate
95%
Share of results at 4.0 or better. 4.0 is the last passing grade.
Semesters with data
2
The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.
Missing (medical excuse): 2Missing (no reason): 3Reported Aug 31, 2026
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
- Theoretische Grundlagen der im automatischen Beweisen verwendeten Kalküle für Logik erster Stufe - Korrektheits- und Vollständigkeitsbeweise - Algorithmen und Datenstrukturen, die in automatischen Beweisern für Logik erster Stufe eingesetzt werden - Vergleich verschiedener Ansätze im automatischen Beweisen - Grundlagen moderner SAT- und SMT-Lösungswerkzeuge
Missing (medical excuse): 5Missing (no reason): 3Reported Aug 31, 2026
Times, rooms and details come from TUCaN and may be out of date. Report something wrong