Inhalt des Dokuments
zur Navigation
| Parameter | Wert |
|---|---|
| Niveau | Master, Wahlpflicht in Computer Science (Informatik) |
| Vorkenntnisse | Automatentheorie, Logik, Diskrete Strukturen |
| Veranstaltungen | 4IV "Modelle und Theorie Verteilter Algorithmen" |
| LP | 6 |
| Semester | Jedes zweite WiSe, alternierend mit LaTyS |
| Prüfungsform | Portfolioprüfung |
| Details | Modulbeschreibung in Moses MTS |
| Material | Nancy Lynch: Distributed Algorithms |
WiSe 22/23
Veranstaltungsbeginn ist am Donnerstag, 27.10.2022, 10-14 Uhr im TEL 512.
Interessierten wird dennoch empfohlen, schon am 20.10.2022 um 10-12 Uhr im TEL 512 bei einer Überblicksveranstaltung zum Lehrangebot des Fachgebiets MTV teilzunehmen.
Die Verwaltung des Kurses findet in ISIS statt.
WiSe 21/22 (entfällt)
Dienstag, 21. September 2021
Im WiSe 21/22 wird das Modul aufgrund eines Freisemesters des Dozenten nicht angeboten.
WiSe 20/21 (entfällt)
Donnerstag, 01. Oktober 2020
Im WiSe 20/21 wird das Modul erneut nicht angeboten. Vom Plan des Alternierens mit Lambda-Kalkül und Typ-Systeme wird abgewichen, weil sich Letzteres für ein Digitalsemester besser eignet.
WiSe 19/20 (entfällt)
Montag, 19. August 2019
Im WiSe 19/20 wird das Modul nicht angeboten, da es nun nach Plan alternierend mit Lambda-Kalkül und Typ-Systeme angeboten wird.