Modul | Turnus | Veranstaltungsart | Prüfungsform | SWS | LP |
---|---|---|---|---|---|
Reaktive Systeme | Wintersemester | Vorlesung und Übung | mündlich | 4 | 6 |
Formale Sprachen und Automaten | Sommersemester | Vorlesung und Übung | Portfolio | 4 | 6 |
Programmierpraktikum: Modelle Dynamischer Systeme | Sommersemester | Praktikum | Portfolio | 4 | 6 |
Introduction into Interactive Theorem Proving | Sommersemester | Integrierte Veranstaltung | mündlich | 2 | 3 |
Lambda-Kalkül und Typ-Systeme | Wintersemester | Integrierte Veranstaltung | mündlich | 4 | 6 |
World of Proofcraft | Hauptseminar | Portfolio | 4 | 6 |