Vorlesung/ Modul: Verteilte Algorithmen
Aktuelles
Am Mittwoch, den 18.11.09 fällt die Vorlesung aus. Am Donnerstag, den 19.11.09 finden Vorlesung und Übung auf Grund der Konferenz der Informatikfachschaften im Raum RUD 25, 4.410 statt (Haus IV, 4. OG).
Die Raumzuordnung in Goya ist falsch. Die korrekten Räume sind:
- Mi: RUD 26, 1'306
- Do: RUD 25, 3.113 (In diesem Raum findet auch die Übung statt.)
Zur Vorlesung
| Zeit: | Mi 9-11 Uhr, Do 9-11 Uhr |
|---|---|
| Ort: | RUD 26, 1'306 (Mi), RUD 25, 3.113 (Do) |
| Dozent: | Prof. Dr. Wolfgang Reisig |
| Inhalt der VL: | siehe Modulbeschreibung |
| Prüfungstermin: | - |
Übung
| Zeit | Raum | Leiter/Tutor | |
|---|---|---|---|
| Übung | Do 11-13 | RUD 25, 3.113 | Jan Sürmeli |
Modulbeschreibung
| Inhalt: | Ein Algorithmus heißt verteilt, wenn er auf einer physikalisch oder logisch verteilten Architektur arbeitet. Solche Algorithmen werden praktisch zunehmend wichtiger. In der Vorlesung wird eine Reihe solcher Algorithmen vorgestellt und ihre Korrektheit bewiesen. Mit Vorlesung zu Methoden und Modellen des Systementwurfes ergänzt sich dieser Halbkurs zu einem Ganzkurs. |
|---|---|
| Qualifikationsziele: | |
| ggf. Voraussetzungen für die Teilnahme am Modul: | Abschluss des Grundstudiums in Informatik oder vergleichbare Qualifikation |
| Lehrveranstaltungen: | VL + UE |
| SWS: | 4 + 2 |
| SP und Beschreibung der Arbeitsleistung, auf deren Grundlage die SP vergeben werden: | 8 SP: Vorlesung; betreute Übung; Selbststudium mit Unterstützung durch Übungen und die Verfügbarkeit aller Folien und der verwendeten Literatur. |
| Voraussetzung für die Vergabe von Studienpunkten: | Voraussetzung zur Prüfung ist das Bestehen der Übung. |
| Prüfung (Prüfungsform, Umfang/Dauer, SP): | |
| Häufigkeit des Angebots: | |
| Dauer des Moduls: | 1 Semester |
Literatur
- Verteilte Algorithmen
- Wolfgang Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, September 1998.
- Nancy Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
- Petrinetze
- Wolfgang Reisig. Petrinetze - Eine Einführung.
Foliensätze
Theorie der Programmierung | Kontakt | zuletzt geändert am 17.11.2009 10:30