Formale Grundlagen der Informatik (FGI 2): Modellierung und Analyse von Informatiksystemen

Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

Formale Grundlagen der Informatik (FGI 2):
Modellierung und Analyse von Informatiksystemen
R. Valk und D. Moldt
Dienstag, 12:15-13:50 in Phil-A und Mittwoch, 12:15-13:50 in ESA-C (Wintersemester 2008/2009)
[Übungsschein], [Klausurtermine], [Diplomstudiengang], [Materialien], [Übungsaufgaben], [Beratung/Saalübung] und [Repetitorium].

Diese Lehrveranstaltung verzahnt in besonderer Weise die Inhalte der theoretischen Informatik mit denen der praktischen Informatik - insbesondere mit jenen, die aus der Befassung mit verteilter Software entstehen.

Kriterien für den Übungsschein

Eure Lösungen gebt Ihr in Euer Übungsgruppe in handschriftlicher Form ab.
Die Lösungen werden von den Übungsgruppenleitern bis zur darauffolgenden Woche korrigiert.
Die Aufgaben können in Arbeitsgruppen bearbeitet werden. Eine Arbeitsgruppe soll aus bis zu drei Studierenden bestehen. Arbeitsgruppen geben nur einen Lösungszettel ab, auf dem alle Namen der Teilnehmer(innen) notiert sein müssen. Die erreichte Punktzahl wird jedem Gruppenmitglied gutgeschrieben.
Jedes Arbeitsgruppenmitglied muss die Lösungen seiner Gruppe an der Tafel präsentieren können. Ansonsten verfallen die Punkte der jeweiligen Aufgabe.
Für die Bescheinigung einer erfolgreichen Teilnahme müssen die Teilnehmer ...
1. bei den Übungen anwesend sein (Bei mehr als zweimaligem Fehlen wird eine schriftliche Begründung, z.B. Attest eines Arztes, benötigt.),
2. sich aktiv mündlich beteiligen,
3. mindestens 50% der insgesamt vergebenen Punkte erreichen
4. und bei höchstens 2 Aufgabenzettel weniger als 20% der jeweils vergebenen Punkte erreichen.
Das Kopieren fremder Lösungen führt zu Punktabzügen bei allen Beteiligten und gilt als Täuschungsversuch.

Klausurtermine

1. Klausur: 19.2.2009 9-12 Uhr Audimax
2. Klausur: 2.4.2009 9-12 Uhr (~~ESA B~~) PhilA Raum geändert!

Zur Vorbereitung auf die Klausuren werden Repetitorien angeboten.

Diplomstudiengang

Diplomstudierende können diese Vorlesung als äquivalent zur Hauptstudiumsgrundlagenvorlesung "Prozesse und Nebenläufigkeit" (PNL) wählen (Übergangsregelung).
Für sie wird eine mündliche Prüfung über den Stoff dieser Vorlesung angeboten. Die hierfür relevante Teilmenge wird in Prüfungsstoff für PNL beschrieben.

Wirtschaftsinformatik

Diplomstudierende der Wirtschaftsinformatik können Teile dieser Vorlesung als äquivalent zur Vorlesung F4 wählen. Die hierfür relevante Teilmenge wird in Prüfungsstoff für F4 beschrieben.

Skript und Folien

Das neue aktuelle Skript: Teil 1: fgi08-Teil-1.pdf [Stand: 29.9.2008, 10MB]
Teil 2: fgi08-Teil-2.pdf [Stand: 26.10.2008, 5MB]
(Passwort über die Veranstalter oder das TGI-Sekretariat erhältlich)