direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Überblick WiSe 10

Bachelor:

  • "TheGI1: Grundlagen und Algebraische Strukturen" (2VL+2UE)
    [ ISIS | VV | Modul BINF-GL-TheGI1 ]

  • "Nebenläufige Modellierung und Programmierung" (2IV)
    [ ISIS | VV | Modul BINF-SWT-CONCUR ]

  • "Temporallogik für Software-Ingenieure" (2IV)
    [ ISIS | VV | Modul BINF-SWT-CONCUR ]

Master:

  • "Modelle und Ziele Verteilter Algorithmen" (2SE)
    [ ISIS | VV | Modul MINF-VS-VerDistAlgo ]

  • "Verifikation Verteilter Algorithmen" (4PJ)
    [ ISIS | VV | Modul MINF-VS-VerDistAlgo ]

Die Anrechenbarkeiten im Diplom-Hauptstudium sind unter MTV-Lehrangebot erklärt.