Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Bäume, Ordnungen und Anwendungen 2015/2016

Neuigkeiten

Organisation

Vorlesungstermine:

Prüfungsmodalitäten:

Die Vorlesung wird mündlich geprüft. Um zur Prüfung zugelassen zu werden, sind die folgenden Voraussetzungen zu erfüllen:
  1. Es sind 60% der Übungsaufgaben mit einem Plus zu lösen (sinnvoll bearbeitet).
  2. Es ist eine Aufgabe an der Tafel vorzustellen.
Herr Meyer wird einen Prüfungstermin am Montag, dem 21.03.2016, sowie mindestens einen Prüfungstermin Mitte April (voraussichtlich 14./15. April) anbieten.

Um einen Prüfungstermin zu erhalten, schreiben Sie eine E-Mail an Peter Chini. Teilen Sie Ihm ihren vollständigen Namen, die Vorlesung, die Sie prüfen möchten und Ihren bevorzugten Zeitraum (11.03 oder Mitte April) mit. Falls Sie gerne bevorzugt einen Prüfungstermin vormittags oder nachmittags hätten, können Sie dies ebenfalls angeben.

Vergessen Sie nicht, sich rechtzeitig auch bei Ihrem Prüfungsamt anzumelden, sobald der Termin feststeht.

Vorlesungsaufzeichnungen

Zur Vorlesung gibt es Folien (Stand 12.11.2013) sowie handschriftliche Notizen:
  1. Verbände und der Satz von Knaster und Tarski (Woche 1)
  2. Ketten und Monotone Frameworks (Woche 2, korrigierte Version)
  3. Intraprozedurale Analysen (Woche 3, siehe Folien)
  4. Intraprozedurale Analysen (Woche 4, siehe auch Folien)
  5. Interprozedurale Analyse mit Procedure-Summaries (Woche 5)
  6. Interprozedurale Analyse mit Procedure-Summaries und Call-Strings (Woche 6)
  7. Galois-Verbindungen (Woche 7)
  8. Konstruktion von Galois-Verbindungen und konkrete Semantik (Woche 8)
  9. Abstrakte Semantik (Woche 9)
  10. Prädikatenabstraktion (Woche 10)
  11. Abstrakte Semantik zur Prädikatenabstraktion (Woche 11)
  12. Abstraktionsverfeinerung (Woche 12)
  13. Bisimulation (Woche 13)
  14. CTL (Woche 14)
Die folgenden Mitschrift wurden vor zwei Jahren von Jonathan Kolberg angefertigt und in diesem Semester aktualisiert.

GeTeXte Vorlesungsnotizen (aktualisiert am 18.03.2016)

Wenn Sie Fehler jeglicher Art in der Mitschrift entdecken, kontaktieren Sie bitte Sebastian Muskalla.

Übungen

Organisatorisches:

Die Übungen finden Mittwochs um 11:45Uhr in 34-420 statt.

Bei Fragen zu oder Problemen mit den Übungen wenden Sie sich bitte an Sebastian Wolff — Kommen Sie einfach vorbei oder schreiben Sie eine Mail.

Übungsblätter:

Inhalt der Vorlesung

  1. Termersetzung und Programmiersprachen
    • Strukturierte operationelle Semantik (und Induktion)
    • Konfluenz und Backtracking
    • Terminierung und Wohlfundiertheit
  2. Verbandstheorie und Statische Analyse
    • Verbände
    • Fixpunkte
    • Statische Analyse
  3. Baumautomaten und XML
    • XML-Schema und Baumautomaten
    • Abschlusseigenschaften
    • Entscheidungsprobleme
    • Gleichheit und Kardinalität

Literatur