64-257 Übungen Modellierung und Analyse komplexer Systeme

Lehrende:

Dimitri Popov

Zeit/Ort:

Gr. 1: Mo, 10-12, C-221
Gr. 2, Mo 12-14, C-221
Gr. 3, Mo 12-14, G-203
Gr. 4, Di 10-12, G-C-221
Gr. 5, Di 10-12, G-102

Da aktuell Unterricht in Präsenz möglich erscheint,
bieten wir für MAKS Präsenzübungen für Mo 10-12 und 12-14 an.
Die anderen Termine sind erst einmal als Onlineveranstaltung vorgesehen,
jedoch sind alle Übungsgruppenleitungen bereit, falls es hinreichend viele Anmeldungen gibt,
die Übung auch als Präsenzveranstaltung durchführen.
Bitte die präferierte Übung belegen.
Das MAKS-Team

Kommentare/ Inhalte:

Der Vorlesungsstoff der Modulveranstaltung 64-256 Vorlesung Modellierung und Analyse komplexer Systeme bestimmt die Inhalte und Themen der Übungsaufgaben.

Lernziel:

Die Studierenden können auf der Basis der in der Vorlesung erworbenen Kenntnisse geeignete Abstraktionen, Modellbildungen und Verfahren zur Beschreibung und Analyse speziell von nebenläufigen Algorithmen und Prozessen anwenden und sowohl konzeptionell analytisch als auch praktisch in einfachen Kontexten umsetzen.

Vorgehen:

• Kennenlernen und Vertrautwerden mit grundlegenden formalen Konzepten und Methoden, die für fast alle Teilgebiete der Informatik wichtig sind;
• Erwerben und Einüben der Standardhilfsmittel für Beschreibung, Analyse, Entwurf und Bewertung von Problemen und deren Löung;
• Inkrementelle Modellierung eines komplexen Anwendungsbeispiels, dass die zentralen Konzepte unmittelbar verdeutlicht;
• Erlernen eines Modellierungs- und Entwicklungsansatzes;
• durchgängige Verwendung eines Open-Source-Werkzeugs;
• Vertiefen des praktischen Nachweises von Systemeigenschaften;

Die Übungsblätter stehen vorab zur Verfügung und sind genau auf die Inhalte der Vorlesung abgestimmt. Zu jeder Woche gibt es abgestimmte Präsenz-und Übungsaufgaben. Dabei eignen sich die Präsenzaufgaben zur gemeinsamen Bearbeitung in Kleinstgruppen, während die Übungsaufgaben der eigenständigen Vertiefung der Inhalte dienen.
Die Übungen und die Vorlesungen werden durch Olat-Tests komplementiert, die eine eigenständige kontinuierliche Überprüfung des Lernstandes ermöglichen.

In den letzten Jahren wurde das Modul mit Mitteln des Lehrlabors der MIN-Fakultät und der Universität speziell unterstützt. Es bestehen daher besonders gute Lernbedingungen. Anregungen von Seiten der Studierenden der letzten Durchläufe wurden dabei aufgegriffen und im Rahmen der Projektmittel umgesetzt. Die zahlreichen Materialien unterstützen das kollaborative gemeinsame und eigenständige Arbeiten und Lernen gleichmaßen. Es bietet sich somit eine besondere Gelegenheit des Studierens.
Ausgehend von dem positiven Feedback zur agilen Modellierung eines größeren Anwendungsbeispiels wird in diesem Semester wieder ein durchgehendes komplexes Modell eines Unternehmens und seiner Umgebung über die Übungen hinweg aufgebaut. Nach jeder Übung stehen Lösungen, die bei Bedarf aufgegriffen und eigenständig modifiziert werden können, zur Verfügung.

Zur Unterstützung der Kooperation werden in diesem Semester verstärkt virtuelle Räume und ein Forum bereitgestellt. 

Literatur:

Es steht ein vollständiges Skript zur Verfügung.
Die zusätzliche, im Laufe des Semesters bereitgestellte Literatur sollte vor der jeweiligen Übungsgruppe durchgearbeitet werden, da diese neben dem Skript für die Bearbeitung der ausgegebenen Aufgaben die Grundlage bilden. Hinweise dazu erfolgen an den jeweils vorausgehenden Terminen der Übungsgruppen.

Zusätzliche Hinweise zu Prüfungen:

Die aktive Teilnahme und erfolgreiche Bearbeitung der Präsenzaufgaben, der Hausaufgaben und der Olat-Tests ist Voraussetzung für den erfolgreichen Abschluss der Übungen.
Im Rahmen der Hausaufgaben und Olat-Tests ergibt sich die Möglichkeit eines Bonus auf die finale Note.