Moses - Modelle und Theorie Verteilter Algorithmen (9 LP)

Modul / Version
#41225 / #1

Gültigkeit
Seit WiSe 2024/25

Verfügbare Sprache(n)
English, German

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)
English

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

Successful participants of this module dispose of knowledge and capabilities on the formal modeling and formal analysis of distributed, and in particular fault-tolerant, algorithms. Moreover, they dispose of deeper knowledge and understanding about formal proofs of correctness and impossibility results concerning distributed communication and coordination problems. They are capable to acquire the necessary pieces of knowledge partially independently by themselves and to orally present their results.

Lehrinhalte

In essence, this project takes selected chapters from a well-known text book on distributed algorithms and tackles their formalisation such that they become accessible to a deep understanding of the underlying computation models. As a side effect, this activity enables formal proofs that may possibly even form the basis of a verification by means of a mechanical proof checker. More concretely, the topics cover: - synchronous and asynchronous communication - process models - models of failure - leader election - consensus

Modulbestandteile

Compulsory area

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
Attendance	15.0	4.0h	60.0h
Pre/post processing	15.0	13.0h	195.0h
			255.0h(~9 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Exam preparation	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

The project emphasizes an interactive style of teaching. It consists of a . It consists of an intense joint development of the contents of the textbook, during which the students develop their own suggestions and ideas together with the lecturer. The aim of this project is to exemplify the everyday life of a researcher in theoretical computer science in the selected field. In addition to the conceptual development of formal models, this work includes their critical examination through tests and mathematical proofs, as well as the careful presentation of this work as part of a LaTeX document to be jointly prepared by the participants.

Voraussetzungen für die Teilnahme / Prüfung

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

Knowledge from theoretical computer science on discrete structures, logic, and automata theory is required. Also useful would be already existing knowledge of distributed algorithms (from the offered courses of the DOS or INET chairs), concurrent programming (for example in Java), as well as process calculi and temporal logic (modules "Reactive Systems" and "Algebraic Process Calculi").

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolio examination

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

English, German

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Deliverable assessment) Project report as a group deliverable	30	schriftlich	20-50 LaTeX pages
(Deliverable assessment) Project report as a group progress report after homework	20	flexibel	45 minutes
(Learning process review) Consultation	50	mündlich	30-40 minutes

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

Participation to the class (not to be confused with registration for the module exam) is run via a course within Moodle-platform ISIS. Access to this course will be provided at the first meeting will be kept open for roughly three to four weeks. The registration for the module examination takes place at the examination office or via the QISPOS platform. POS examination number: 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

Depending on your wish or need, the course will be held in German or English.