SoSe 2026
Fehlend (Krankschreibung): 3Fehlend (ohne Grund): 1Gemeldet am 13.10.2026
FB20 Informatik · 6 CP (aus SWS geschätzt) · Angeboten in SoSe 2026
Mittel der Semesterschnitte
3.27
Jedes Semester zählt gleich, unabhängig von seiner Größe.
Gewichteter Gesamtschnitt
3.27
Nach Kohortengröße gewichtet — der Schnitt über alle Ergebnisse hinweg.
Bestehensquote
60%
Anteil der Ergebnisse von 4,0 oder besser. 4,0 ist die letzte bestandene Note.
Semester mit Daten
1
Die deutsche Skala reicht von 1,0 (beste) bis 4,0 (letzte bestandene Note), 5,0 ist nicht bestanden. Eine 4,3 gibt es nicht.
Fehlend (Krankschreibung): 3Fehlend (ohne Grund): 1Gemeldet am 13.10.2026
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
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
Kein Prüfungstermin veröffentlicht.
Zum Stundenplan hinzufügenTermine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden