LV-Nummer	3435 L 9099
Gesamt-Lehrleistung	90,67 UE
Semester	WS 2019/20
Veranstaltungsformat	LV / Integrierte Veranstaltung
Gruppe	Termingruppe 0
Organisationseinheiten	Technische Universität Berlin ↳ Fakultät IV ↳ Institut für Softwaretechnik und Theoretische Informatik ↳ 34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Studiengangszuordnungen und Module

Verwandte Veranstaltungen

Zeitraum
Do. 24.10.19 - 13.02.20, wöchentlich, 10:00 - 14:00

Ort

Charlottenburg

Organisationseinheit

34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Lehrleistung
90,67 UE

Legende

Kalenderoptionen

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

Mo.

Di.

Mi.

Do.

Fr.

Inhalt

- Lambda-Kalkül (als Berechnungsmodell)

- Abstract machines und Auswertungen

- Curry-Howard Korrespondenz (Logik / Berechnungnen)

- Einfach-getypter und polymorpher Lambda-Kalkül

- Theory abhängiger Datentypen

- Anwendungen von Type Systemen (z.B. Haskell, Agda)

- Typen für Erweiterungen des Lambda-Kalküls

Lambda-Kalkül und Typ-Systeme Termingruppe 0