direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

There is no English translation for this web page.

21/22 SoSe Lehrangebot

Angeboten werden im SoSe 21/22: 

  • Formale Sprachen und Automaten (ForSA) [Modul] [ISIS]
    — Pflichtmodul @ Bachelor Informatik
  • Modelle Dynamischer Systeme (MoDySy) [Modul] [ISIS]
    — Programmierpraktikum @ Bachelor Informatik
  • Algebraic Process Calculi [Modul][ISIS]
    — Wahlpflichtmodul @ Master CS(I)
  • Einführung in das interaktive Theorembeweisen (Isabelle-Lab) [Modul][ISIS]
    — Wahlpflichtmodul @ Bachelor Informatik & Master CS(I)

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe