Moses - Modul 40826

Aktuelle Modulbeschreibung (SoSe 2025)

Modultitel:
Lambda-Kalkül und Typ-Systeme

Leistungspunkte:
6 LP

Modulverantwortliche*r:
Nestmann, Uwe

Benotung:
Benotet

Prüfungsform:
Mündliche Prüfung

Modulbeschreibung ansehen

Zugehörigkeit

Fakultät:
Fakultät IV

Institut:
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet:
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss:
Keinem Prüfungsausschuss zugeordnet

Kontakt

Sekretariat:
EN 24

Ansprechpartner*in:
Nestmann, Uwe

E-Mailaddresse:
uwe.nestmann@tu-berlin.de

Webseite:

http://tu.berlin/mtv

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.

Modultitel	LP	Benotung	Verantwortliche*r	Sprache(n)	Gültig ab	Gültig bis einschl.
Lambda-Kalkül und Typ-Systeme	6	Benotet	Nestmann, Uwe	de	WiSe 2023/24	offen
Lambda-Kalkül und Typ-Systeme	6	Benotet	Nestmann, Uwe	de	SoSe 2021	SoSe 2023
Lambda-Kalkül und Typ-Systeme	6	Benotet	Nestmann, Uwe	de	SoSe 2020	WiSe 2020/21
Lambda-Kalkül und Typ-Systeme	6	Benotet	Nestmann, Uwe	de	WS 2019/20	WS 2019/20
Lambda-Kalkül und Typ-Systeme	6	Benotet	Nestmann, Uwe	de, en	SS 2017	SS 2019