SoSe 2026
Missing (medical excuse): 3Missing (no reason): 1Reported Oct 13, 2026
FB20 Computer Science · 6 CP (estimated from SWS) · Offered in SoSe 2026
Average of averages
3.27
Every semester counts equally, whatever its size.
Pooled average
3.27
Weighted by cohort size — what an arbitrary student across all semesters scored.
Pass rate
60%
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.
Missing (medical excuse): 3Missing (no reason): 1Reported Oct 13, 2026
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
Dieser Kurs konzentriert sich auf interaktives Theorembeweisen, d. h. darauf, wie logische Aussagen in einer formalen, maschinenüberprüfbaren Sprache präzise formuliert werden können, und wie diese Beweise im Lean Theorembeweiser erstellt werden können. Der Kurs legt Focus auf Themen der Informatik, insbesondere die Semantik von Programmiersprachen und Verifikation. Konkret umfasst der Kurs folgende Inhalte: Grundlagen der Typentheorie "Propositions as Types"/die Curry-Howard-Korrespondenz Beweise mit Taktiken Induktive Typen Operationale und denotationale Semantik Programmlogiken Metaprogrammierung
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong