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].
----------
Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.

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.

Der aktuelle Plan für die Übungsgruppen

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.)

Kriterien für den Übungsschein / Klausurzulassung

Für die Bescheinigung einer erfolgreichen Teilnahme 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 kommentiert werden.
  4. Jedes Arbeitsgruppenmitglied muss die Lösungen zu den Hausaufgaben an der Tafel frei präsentieren können.
Das heißt, dass dieses Mal die Abgabe von Aufgabenzetteln freiwillig ist. Es wird aber dringend geraten die Zettel als laufende Vorbereitung zu sehen.
Auf jeden Fall wird von allen erwartet, dass die Lösungen zu den Hausaufgaben vorgestellt werden können.

Klausurtermine (ohne Gewähr)

Übergangsregelungen für Diplomstudiengänge

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:

  • Folien zu "Automaten&Transitionssysteme"
  • Folien zu "Kripkestrukturen"
  • Folien zu "Temporale Logik"
  • Folien zu "Model Checking"
  • Folien zu "Halbordnungssemantik"
  • Folien zu "Petrinetze und Nebenläufigkeit"
  • Folien zu "Prozessalgebra Teil 1"
  • Folien zu "Prozessalgebra Teil 2"
  • Folien zu "Parallele Maschinen und Algorithmen"
  • (Folien vom letzten Jahr siehe hier)

    Aufgezeichnete Veranstaltungen:

  • Valk: Prozessalgebra (Teil 2)
  • Aufgaben und Beispiellösungen

    Siehe die Aufgaben bei der aktuellen Veranstaltung FGI 2 im WiSe 2013/14.

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

  • Aufgabe 1 - Präsenzlösung - Beispiellösung
  • Aufgabe 2 - Präsenzlösung - Beispiellösung
  • Aufgabe 3 - Präsenzlösung - Beispiellösung
  • Aufgabe 4 - Präsenzlösung - Beispiellösung
  • Aufgabe 5 - Präsenzlösung - Beispiellösung
  • Aufgabe 6 - Präsenzlösung - Beispiellösung
  • Aufgabe 7 - Präsenzlösung - Beispiellösung
  • Aufgabe 8 - Präsenzlösung - Beispiellösung
  • Aufgabe 9 - Präsenzlösung - Beispiellösung
  • Aufgabe 10 - Präsenzlösung - Beispiellösung
  • Aufgabe 11 - Präsenzlösung - Beispiellösung
  • Aufgabe 12 - Präsenzlösung - Beispiellösung
  • Aufgabe 13 - Präsenzlösung - Beispiellösung
  • Aufgabe 14 - Präsenzlösung - Beispiellösung
  • Repetitorium

    Informationen zum Repetitorium finden Sie auf einer separaten Seite.

    ----------

    >  [Lehre] [TGI] [Informatik]  <

    Impressum