Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Formale Grundlagen der Informatik II (FGI 2):
Modellierung und Analyse von Informatiksystemen
(Wintersemester 2016/17)

Veranstalter: Daniel Moldt

Termin / Ort:

    Di. 12:15-13:45 und Do. 12:15-13:45

    in Stellingen B-201
[Übungen], [Übungsschein], [Klausurtermine], [Diplomstudiengang] und [Materialien]

Diese Lehrveranstaltung verzahnt in besonderer Weise die Inhalte der theoretischen Informatik mit denen der praktischen Informatik - insbesondere solche, die sich mit verteilter Software befassen. Behandelt werden u.a. temporale Logik zur Analyse von verteilten Systemen sowie Petrinetze und Prozessalgebra als Spezifikationsformalismen.

Weitere Details sind im Kommentierten Vorlesungsverzeichnis in Stine zu finden; vorab hier: fgi2-ws1617-kvv-vorab.pdf

Übungen

Eine Anmeldung in Stine ist Voraussetzung für die Teilnahme.

Die Übungen beginnen am Montag, den 17. Okt. 2016.
(Ja, noch vor der Vorlesung!)

Der aktuelle Plan für die Übungsgruppen
Das erste Treffen findet für alle Gruppen am 17. und 18.10. in C-221 zu den jeweiligen Zeiten statt!
  • G01: Mo. 10-12 in G-203
    G02: Mo. 10-12 in C-221
    G03: Mo. 10-12 in G-210
  • G04: Mo. 12-14 in C-221
    G05: Mo. 12-14 in G-203
  • G06: Mo. 14-16 in G-203
    G07: Mo. 14-16 in C-221
  • G08: Di. 14-16 in C-221
    G09: Di. 14-16 in G-203
  • Jede Woche wird ein neuer Aufgabenzettel gestellt.
  • Die Lösungen werden in der jeweils darauffolgenden Woche in der Übungsgruppe abgegeben.
  • Die Lösungen werden von den Übungsgruppenleitern bis zur darauffolgenden Woche korrigiert.
  • Es wird mindestens 12 Aufgabenzettel geben. Für mindestens 10 Aufgabenzettel sind die Hausaufgaben erfolgreich zu bearbeiten. Der erste Aufgabenzettel zählt zu dieser Rechnung dazu. Er ist nicht optional.
  • Die Aufgaben sollten in Arbeitsgruppen bearbeitet werden. Eine Arbeitsgruppe soll aus zwei bis maximal drei Studierenden bestehen. Arbeitsgruppen geben nur einen Lösungszettel ab, auf dem alle Namen der Teilnehmer(innen) und die Gruppennummer lesbar notiert sein müssen. Diese Abgaben erfolgen per E-Mail. Wenn innerhalb der Dateien keine eindeutige Zuordnung vorhanden ist, dann wird der Zettel als nicht abgegeben gewertet. Begründung: Alle Zettel aus allen Gruppen werden von einer Person zentral gesammelt und korrigiert. Alle Seiten, auf denen nicht alle Namen aller Gruppenmitglieder und die Gruppennummer auf jeder Seite, die gedruckt wird, vorhanden ist, werden nicht bewertet!

Kriterien für den Übungsschein / Klausurzulassung

Für die Bescheinigung einer erfolgreichen Teilnahme/Klausurzulassung gilt:
  1. Bei allen Übungsterminen gilt Anwesenheitspflicht. Bei mehr als zweimaligem Fehlen wird eine schriftliche Begründung, z.B. Attest eines Arztes, benötigt.
  2. Eine aktive Teilnahme mit dem Bemühen um konstruktive Beiträge muss gegeben sein.
  3. Bei mindestens 2 Aufgabenzetteln muss im Laufe des Semesters eine der Präsenzaufgaben abschließend vollständig im Plenum vorgestellt werden.
  4. Jedes Arbeitsgruppenmitglied muss daher die erarbeiteten Lösungen selbst im Plenum präsentieren können.
    Dies erfordert eine entsprechende eigenständige Vorbereitung der Präsenzaufgaben.
  5. Insgesamt müssen mindestens 10 Aufgabenblätter erfolgreich bearbeitet worden sein, damit die Übung erfolgreich abgeschlossen werden kann. Pro Aufgabenblatt müssen für die erfolgreiche Bearbeitung mehr als 50% der Aufgabenteile erfolgreich bearbeitet worden sein. Lösungen zur eigenen Kontrolle der Bewertung gibt es im Anschluss an die Rückgabe der Aufgabenblätter online.
  6. Für die FGI-2 Vorlesung wird ein Olat-Kurs bereitgestellt. Zur Bearbeitung ist das Skript vor der jeweiligen Vorlesung in Hinblick auf die Begriffe vorab zu lesen. Pro Woche sind ca. 20-25 Seiten Skript zu lesen. In Olat werden für jede Woche Materialien in Form von Online Tests hinterlegt, die für die jeweilige Woche zu bearbeiten sind. Für die jeweilige Woche (Ausnahme: erste Woche, die ist optional) ist VOR der ersten Vorlesung der Woche am Dienstag der Olat-Test mit mind. 60% der Punkte zu bestehen, damit er erfolgreich bearbeitet wurde. Insgesamt müssen 11 der Tests mit mindestens 60% der Punkte bestanden werden. Ansonsten müssen in den Übungsaufgaben mehr Punkte erreicht werden. Details dazu gibt es in der ersten Übungsgruppe. Sämtliche Fragen lassen sich mit Hilfe des Lesestoffes und den bis dahin behandelten Inhalten der Vorlesungen beantworten.
  7. Das Kopieren fremder Lösungen führt zu Punktabzügen bei allen Beteiligten und gilt als Täuschungsversuch.

Klausurtermine (ohne Gewähr)

Übergangsregelungen für Diplomstudiengänge

  • Diplomstudierende können dieses Modul (Vorlesung+ Übung) als Substitut der Hauptstudiumsgrundlagenvorlesung "Prozesse und Nebenläufigkeit" (PNL) wählen. Es ist dann auch die FGI-2 Klausur mitzuschreiben. Alternativ werden weiterhin noch mündliche Prüfung über den PNL-Stoff dieser Vorlesung angeboten.
  • Diplomstudierende der Wirtschaftsinformatik können Teile dieser Vorlesung als äquivalent zur Vorlesung F4 wählen.

Verwendung von Werkzeugen

Im Rahmen der Bearbeitung der Übungsaufgaben werden verschiedene Werkzeuge eingesetzt. Diese werden im Verlauf der Vorlesungszeit angegeben. Wir werden insbesondere das Werkzeug Renew in einer für die Veranstaltung speziell angepassten Version einsetzen. Details dazu werden in der ersten Übung und den ersten Übungsgruppen bekannt gegeben.

Materialien: Skript und Folien

Das Skript wird in den Übungsgruppen in gedruckter Form von Studierenden zum Kauf angeboten. Interessierte müssen am ersten Termin verbindlich eine Abnahme zusagen. Der Selbstkostenbeitrag ist zum zweiten Termin mitzubringen. Weitere Informationen zum Kauf gibt es in den Übungsgruppen.

Benutzername und Passwort für die kostenfreie pdf-Version werden in den Übungen bekanntgegeben.

Vorlesungsfolien können vorab unter den FGI-2 Veranstaltungen der vergangenen Semester eingesehen werden. Zugangsdaten gibt es bei den Übungsgruppenleitern und Veranstaltern.

Die Vorlesungsfolien: werden im im Verlaufe der Veranstaltung zur Verfügung gestellt.

Ressourcen zu den Aufgaben

Benötigte Ressourcen für die Übungsaufgaben.
Imprint/Disclaimer
Last Change: 12:42 10/16/2016   Seitenanfang