Aktuelle Modulbeschreibung (SoSe 2026)


Formal-mathematische Grundlagen

6 LP

Nestmann, Uwe

Benotet

Schriftliche Prüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Keinem Prüfungsausschuss zugeordnet

Kontakt


EN 24

Nestmann, Uwe

fog@mtv.tu-berlin.de

Modulbeschreibungen

Die Modulbeschreibungen können sich im Laufe der Zeit ändern. Um die Änderungen transparent und nachvollziehbar darzustellen, werden die Modulbeschreibungen versioniert und gelten je nach Freigabe für verschiedene Semester(zeiträume). Im Normalfall sollte es nur eine freigegebene Version für ein Semester geben. Dieses Modul enthält eine freigegebene Modulbeschreibung. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

ModultitelLPBenotungVerantwortliche*rSprache(n)Gültig abGültig bis einschl.
Formal-mathematische Grundlagen6BenotetNestmann, UwedeSoSe 2026offen