Aktuelle Modulbeschreibung (SoSe 2024)


Lambda-Kalkül und Typ-Systeme

6 LP

Nestmann, Uwe

benotet

Mündliche 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


TEL 7-2

Nestmann, Uwe

uwe.nestmann@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 5 freigegebene Modulbeschreibungen. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

ModultitelLPVerantwortliche*rSpracheGültig abGültig bis einschl.
Lambda-Kalkül und Typ-Systeme6Nestmann, UwedeWiSe 2023/24offen
Lambda-Kalkül und Typ-Systeme6Nestmann, UwedeSoSe 2021SoSe 2023
Lambda-Kalkül und Typ-Systeme6Nestmann, UwedeSoSe 2020WiSe 2020/21
Lambda-Kalkül und Typ-Systeme6Nestmann, UwedeWS 2019/20WS 2019/20
Lambda-Kalkül und Typ-Systeme6Nestmann, UweSS 2017SS 2019