64-257 Übungen Modellierung und Analyse komplexer Systeme

Lehrende: Dimitri Popov

Veranstaltungsart: Übung

Anzeige im Stundenplan: MAKS - Üb

Semesterwochenstunden: 2

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | 90

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;
  

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.