Modelle und Theorie Verteilter Systeme

Informationen zu angebotenen Modulen (Bachelor)

ModulTurnusVeranstaltungsartPrüfungsformSWSLP
Reaktive SystemeWintersemesterVorlesung und Übungmündlich46
Formale Sprachen und AutomatenSommersemesterVorlesung und Übungschriftlich46
Programmierpraktikum: Modelle Dynamischer SystemeSommersemesterPraktikumPortfolio46
Introduction into Interactive Theorem ProvingSommersemesterIntegrierte Veranstaltungmündlich23
Lambda-Kalkül und Typ-SystemeWintersemesterIntegrierte Veranstaltungmündlich46
World of ProofcraftSommersemesterHauptseminarPortfolio46