direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Lambda-Kalkül und Typ-Systeme
Parameter
Wert
Niveau
Wahlpflicht in Bachelor (Semester 5) + Master
Vorkenntnisse
Theoretische Grundlagen der Informatik
LP
6
Bestandteile
4IV "Lambda-Kalkül und Typ-Systeme"
Semester
Jedes zweite WiSe
Prüfungsform
Mündliche Prüfung
Material
z.B. Lambda Calculi with Types

WiSe 19/20

Donnerstag, 17. Oktober 2019

Zum WiSe 19/20 wird das Modul erneut und in geänderter Form angeboten werden. Die Durchführung des Moduls wird via ISIS verwaltet.

WiSe 18/19

Mittwoch, 17. Oktober 2018

Nach dem Weggang von Nicolas Guenot entfällt das Modul in diesem Semester. Der Plan ist, es zum WiSe 19/20 erneut und in geänderter Form anzubieten.

Start

Montag, 02. Oktober 2017

Dieses Modul wurde neu konzipiert und von Nicolas Guenot erstmals durchgeführt. Die Modulbeschreibung enthält alle weiteren Details.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe