Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

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

Veranstalter: Daniel Moldt und Rüdiger Valk

Termin / Ort:

    Di. 12:15-13:45 und Do. 12:15-13:45 in Erzwiss H

    Ort ab 11.11.2013: Stellingen B-201
[Übungen], [Übungsschein], [Klausurtermine], [Diplomstudiengang], [Materialien] und [Übungsaufgaben] [Repetitorium].

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.

Übungen

Eine Anmeldung in Stine ist Voraussetzung für die Teilnahme. In den Gruppen am Montag von 14-16 und Di 10:00 - 11:30 sind noch einige Plätze frei. Diejenigen, die bisher nicht in Stine eingetragen sind, können in eine der beiden Gruppen gehen.
Die anderen Gruppen sind voll und können keine weiteren Personen aufnehmen.

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

Der aktuelle Plan für die Übungsgruppen
  • G01: Mo. 10-12 in C-101
    G02: Mo. 10-12 in C-221
  • G04: Mo. 12-14 in C-101
    G05: Mo. 12-14 in P3-06
  • G06: Mo. 14-16 in C-101
    G07: Mo. 14-16 in C-221
  • G08: Di. 10:00 - 11:30 in C-101
    G09: Di. 10:00 - 11:30 in C-221
    G10: Di. 10:00 - 11:30 in D-125
  • 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 13 Aufgabenzettel mit Hausaufgaben geben. Die Aufgaben auf dem 13. Aufgabenzettel sind optional. Der letzte Aufgabenzettel enthält nur Präsenzaufgaben. Der erste Aufgabenzettel 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.

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 an der Tafel vorgestellt werden.
  4. Jedes Arbeitsgruppenmitglied muss die erarbeiteten Lösungen an der Tafel frei präsentieren können. Dies erfordert eine entsprechende Vorbereitung der Präsenzaufgaben.
  5. Insgesamt müssen 50 Prozent der Gesamtpunktzahl und mindestens 20 Prozent auf mindestens 10 Aufgabenblättern erreicht werden.
  6. Für die FGI-2 Vorlesung wird ein Olat-Kurs bereitgestellt. Dort werden für jede Woche Materialien 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. 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 beantworten.
  • 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.

    Skript und Folien

    Das Skript wird in den Übungsgruppen in gedruckter Form zum Kauf angeboten. Weitere Informationen dazu dort. Benutzername und Passwort für die pdf-Version werden in den Übungen bekanntgegeben.

    Die Vorlesungsfolien: werden hier fortlaufend hinterlegt. (Einige Folien von Vorjahren finden sich hier).

  • Folien zu Automaten und Temporallogik (finales) Update vom 07.11.2014
  • Folien zu Zeitstempel und Petrinetzen sind in Olat zu finden + hier:

    • Aufgaben und Beispiellösungen

    Die Aufgaben etc. werden im Olat-System hinterlegt.
    Impressum
    Letzte Änderung: 10:57 23.06.2015   Seitenanfang