THEORETISCHE GRUNDLAGEN DER INFORMATIK

Formale Grundlagen der Informatik (FGI 2)
(Wintersemester 2012/2013)
D. Moldt und R. Valk

Dienstag, 12:15-13:45 im Zuse-Hörsaal (Informatikum, Stellingen) und
Donnerstag, 12:15-13:45 im Zuse-Hörsaal (Informatikum, Stellingen)

[Übungen], [Übungsschein], [Klausurtermine], [Diplomstudiengang], [Materialien], [Übungsaufgaben] und [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

• G1: Mo. 10-12, C-221 (Heitmann, Flick)
• G2: Mo. 12 - 14, C-221, D-125 (Flick/Moldt, Student)
• G4: Mo. 16 - 18, C-221 (Duvigneau/Moldt)
• G5: Di. 10 - 12, C-221, F-009 (Cabac, Duvigneau, Fix)

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 12 Aufgabenzettel mit Hausaufgaben geben. Die letzten beiden Aufgabenzettel enthalten nur Präsenzaufgaben.
• Die Aufgaben sollten in Arbeitsgruppen bearbeitet werden. Eine Arbeitsgruppe soll aus zwei bis 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

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 kommentiert werden.
4. Jedes Arbeitsgruppenmitglied muss die Lösungen zu den Hausaufgaben an der Tafel frei präsentieren können.

Klausurtermine (ohne Gewähr)

• Siehe: Liste der Klausurtermine im Studienbüro
Terminangaben hier ohne Gewähr:
• 1. Klausur: 08.02.2013, 10.30 - 12.30, ESA A und ESA B
• 2. Klausur: 08.03.2013, 10.30 - 12.30, ESA B

Ü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 [Stand: 30.08.2012, 7 MB] wird in den Übungsgruppen verteilt. Benutzername und Passwort werden in den Übungen bekanntgegeben. Eine gegenüber der Druckfassung korrigierte und aktualisierte Fassung[Stand 23.11.2012] entält Verbesserungen und Fehlerkorrekturen, wie sie in Verbesserungen und Fehler aufgelistet sind.

Die Vorlesungsfolien:

Aufgezeichnete Veranstaltungen:

Aufgaben und Beispiellösungen

Die Aufgaben werden hier (in der Regel am Freitag vor der jeweiligen Übungsgruppe) abgelegt.

Repetitorium

Informationen zum Repetitorium finden Sie auf einer separaten Seite.

[Lehre] [TGI] [Informatik]