direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

11/12 WiSe - Bachelor

BINF-GL-TheGI1: "Theoretische Grundlagen der Theoretischen Informatik 1"

  • "Grundlagen und Algebraische Strukturen" (2VL+2UE)
    0401 L 155 [ VV | ISIS ]

BINF-SWT-CONCUR: "Concurrency"

  • "Nebenläufige Modellierung und Programmierung" (2IV)
    0434 L 368 [ VV | ISIS ]
  • "Temporallogik für Software-Ingenieure" (2IV)
    0434 L 369 [ VV | ISIS ]

 

11/12 WiSe - Master

MINF-VS-TDC: "Theory of Distributed Computing"
(Gemeinsames Modul mit Fachgebiet INET)

  • INET: TDC1: "Algorithms and Lower Bounds" (2IV)
    0432 L 817 [ im SoSe 10/11 abgeschlossen | ISIS | WWW ]
  • MTV:  TDC2: "Formal Models and Semantics" (2IV)
    0434 L 355 [ VVISIS ]

MINF-VS-VerDistAlgo

  • "Modelle und Ziele Verteilter Algorithmen" (2SE)
    0434 L 365 [ VV | ISIS ]
  • "Verifikation Verteilter Algorithmen" (4PJ)
    0434 L 366 [ VVISIS ]

MINF-VS-WraP

  • "Writing and Publishing a Scientific Paper" (6PJ)
    [ neu in 11/12 WiSe ]