Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

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

Veranstalter: Daniel Moldt und Rüdiger Valk

Termin:

    Di. 12:15-13:45

    Ort ab 12.11.2013: Stellingen F-132 und B-201 wechselnd(!)
    F-132 (12.11., 26.11., 10.12., 07.01., 21.01.)
    B-201 (19.11., 03.12., 17.12., 14.01., 28.01.)

    Do. 12:15-13:45

    Ort ab 14.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 10-12 und von 14-16 sind noch einige Plätze frei. Diejenigen, die bisher nicht in Stine eingetragen sind, können in eine der beiden Gruppen gehen.
Die Gruppen am Montag 12-14 und am Dienstag 10-12 sind voll und können keine weiteren Personen aufnehmen.

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

Der aktuelle Plan für die Übungsgruppen
(Das erste Treffen findet für alle Gruppen am 14. und 15.10. im jeweils zuerst genannten Raum statt, danach werden die Teilnehmenden auf die Räume verteilt.)
  • G1: Mo. 10-12, C-101, F-334 (Kiehn, Grimpo)
  • G2: Mo. 12 - 14, C-221, C-101 (Haustermann, Wiedemann)
  • G3: Mo. 14 - 16, C-221, C-101 (Squar, Dinter)
  • G4: Di. 10 - 12, C-221, C-101 (Kiehn, Ebsen)

Zum Austausch unter den Übungsgruppenteilnehmern steht demnächst ein Commsy-Raum bereit.
(Der Zutrittscode zum CommSy-Raum entspricht dem Passwort zum Zugriff auf Skript und Aufgabenblätter. Diesen Code erfährt man in der Übungsgruppe und in der Vorlesung.)

  • 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. Der letzte Aufgabenzettel enthält nur Präsenzaufgaben.
  • 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) 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äsenz- oder Hausaufgaben abschließend vollständig an der Tafel vorgestellt werden.
  4. Jedes Arbeitsgruppenmitglied muss die Lösungen zu den Hausaufgaben an der Tafel frei präsentieren können.
  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 am Dienstag der Olat-Test mit mind. 60% der Punkte zu bestehen. Ansonsten müssen in den Übungsaufgaben mehr Punkte erreicht werden. Details dazu gibt es in der ersten Übungsgruppe. Sämtliche Fragen lassen sich vollständig 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. (Folien vom letzten Jahr siehe hier).

  • 1 Folien zu Automaten & Transitionssysteme
  • 2 Folien zu Kripkestrukturen
  • 3 Folien zu Temporale Logik: LTL & CTL
  • 4 Folien zu Model Checking

    • Aufgaben und Beispiellösungen

    Die Aufgaben etc. werden im Olat-System hinterlegt.

  • Aufgabe 1
    • Impressum
    Letzte Änderung: 10:57 23.06.2015   Seitenanfang