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.