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 | siehe Modulbeschreibung |
Material | siehe Formelsammlung zum Buch |
WiSe 23/24
Dienstag, 10. Oktober 2023
Das Modul wird im Sinne der jährlichen Alternierung mit Modelle und Theorie Verteilter Algorithmen im WiSe 23/24 angeboten.
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.