Moses - Modelle und Theorie Verteilter Algorithmen (9 LP)

Modul / Version
#41225 / #1

Gültigkeit
Seit WiSe 2024/25

Verfügbare Sprache(n)
Deutsch, Englisch

Titel des Moduls
Models and Theory of Distributed Algorithms (9 LP) (Models and Theory of Distributed Algorithms)
Modelle und Theorie Verteilter Algorithmen (9 LP) (Modelle und Theorie Verteilter Algorithmen)

Leistungspunkte
9

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Englisch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 24

Ansprechpartner*in
Nestmann, Uwe

E-Mail-Adresse
lehre@mtv.tu-berlin.de

Webseite

http://www.mtv.tu-berlin.de/menue/lehre/module/distalgo/

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls verfügen über Kenntnisse und Fähigkeiten zur formalen Modellierung und formalen Analyse von verteilten, insbesondere fehlertoleranten Algorithmen. Weiterhin verfügen sie über vertiefte Kenntnisse und Verständnis für formale Beweise von Korrektheit bzw. Unmöglichkeit der Lösung von verteilten Kommunikations- und Koordinationsproblemen. Sie sind in der Lage, sich die entsprechenden Kenntnisse teilweise selbständig zu erarbeiten und ihre Arbeitsergebnisse mündlich zu präsentieren.

Lehrinhalte

Das Projekt besteht darin, ausgewählte Kapitel eines bekannten Lehrbuches zu Verteilten Algorithmen soweit zu formalisieren, dass sie einem tiefgehenden Verständnis der zugrundeliegenden Modelle zugänglich werden. Als Nebeneffekt werden formale Beweise möglich, die perspektivisch sogar mittels eines Theorembeweisers geprüft werden könnten. Die konkreten Fachinhalte sind wie folgt: - Synchrone und Asynchrone Kommunikation - Prozessmodelle - Fehlermodelle - Leader Election - Consensus

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Models and Theory of Distributed Algorithms	PJ		WiSe	en	4

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Models and Theory of Distributed Algorithms (PJ):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbereitung	15.0	13.0h	195.0h
			255.0h(~9 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	1.0	15.0h	15.0h
			15.0h(~1 LP)

Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Das Projekt ist betont interaktiv konzipiert. Es besteht aus einer intensiven gemeinsamen Erarbeitung der Inhalte des Lehrbuchs, während der die Studierenden zusammen mit dem Dozenten eigene Vorschläge und Ideen entwickeln. Insofern ist es das Ziel des Projekts, exemplarisch den Alltag eines Forschers der Theoretischen Informatik im ausgewählten Gebiet beispielhaft nachzuvollziehen. Diese Arbeit beinhaltet neben der konzeptionellen Erarbeitung von formalen Modellen deren kritischer Überprüfung durch Tests und mathematische Beweise, als auch der sorgfältigen Darstellung dieser Arbeiten im Rahmen eines gemeinsam durch die Teilnehmer zu erstellenden LaTeX-Dokumentes.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Inhaltlich werden Kenntnisse aus der Theoretischen Informatik zu Diskreten Strukturen, Logik, und Automatentheorie vorausgesetzt. Nützlich wären auch bereits existierende Kenntnisse zu Verteilten Algorithmen (aus dem Angebot der Fachgebiete DOS oder INET), Nebenläufiger Programmierung (beispielsweise in Java), sowie Prozesskalkülen und Temporaler Logik (Module "Reaktive Systeme" und "Algebraische Prozesskalküle").

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

Deutsch, Englisch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Ergebnisprüfung) Projektbericht als Gruppen-Abgabe	30	schriftlich	20-50 Seiten LaTeX
(Ergebnisprüfung) Projektbericht als Gruppen-Fortschrittsbericht nach Hausaufgabe	20	flexibel	45 Minuten
(Lernprozessevaluation) Mündliche Rücksprache	50	mündlich	30-40 Minuten

Notenschlüssel

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«

Gesamtpunktzahl	1.0	1.3	1.7	2.0	2.3	2.7	3.0	3.3	3.7	4.0
100.0pt	86.0pt	82.0pt	78.0pt	74.0pt	70.0pt	66.0pt	62.0pt	58.0pt	54.0pt	50.0pt

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 15.

Anmeldeformalitäten

Die Teilnahme an der Lehrveranstaltung (nicht zu verwechseln mit der Modulprüfung) wird über einen ISIS-Kurs gesteuert. Die entsprechenden Zugangskoordinaten werden zu Beginn des Moduls bekanntgegeben und 3-4 Wochen lang offen gehalten. Die Anmeldung zur Modulprüfung erfolgt im Prüfungsamt bzw. über QISPOS. POS-Prüfungsnummer: 70385

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht verfügbar

Literatur

Empfohlene Literatur
Lynch, Nancy: Distributed Algorithms. Morgan Kaufmann Publishers, 1996

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Computer Engineering (M. Sc.)	1	12	WiSe 2024/25	WiSe 2025/26
Computer Science (Informatik) (M. Sc.)	1	15	WiSe 2024/25	WiSe 2025/26
Elektrotechnik (M. Sc.)	1	9	WiSe 2024/25	WiSe 2025/26
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	1	6	WiSe 2024/25	WiSe 2025/26

Sonstiges

Je nach Wunsch bzw. Notwendigkeit wird die Veranstaltung auf Deutsch oder Englisch abgehalten.