Inhalt des Dokuments
zur Navigation
| 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, alternierend mit DistAlgo |
| Prüfungsform | Mündliche Prüfung |
| Details | Modulbeschreibung in Moses MTS |
| Material | Type Theory and Formal Proof |
WiSe 22/23
Dienstag, 20. September 2022
Das Modul wird im Sinne der jährlichen Alternierung mit Modelle und Theorie Verteilter Algorithmen im WiSe 22/23 nicht angeboten.
WiSe 20/21
Donnerstag, 01. Oktober 2020
Entgegen des Plans der Alternierung mit dem Modul Modelle und Theorie Verteilter Algorithmen wird das Modul erneut angeboten werden, da es sich für ein Digitalsemester besser eignet.
Die Durchführung des Moduls wird via ISIS verwaltet.
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.