Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Programmanalyse

Vorlesung im Wintersemester 2017/18

News

13. Februar
Die genauen Prüfungstermine im Februar stehen fest. Sie wurden an die angemeldeten Personen verschickt. Falls Sie die Prüfung im Februar ablegen möchten, aber keine EMail erhalten haben, dann melden Sie sich bitte schnellstmöglich.
1. Februar
Das freiwillige Übungsblatt zur CEGAR-Loop ist online.
23. Januar
Die Vorlesung fällt heute (23.01) aus und es gibt diese Woche kein neues Übungsblatt.
20. Januar
Prüfungsanmeldeformalitäten im Bachelor: laut Prüfungsamt bedarf es einem Antrag auf Import, um die Vorlesung im Bachelor einbringen zu können. Nach Absprache mit dem Prüfungsamt wird die Annahme solcher Anträge kulant behandelt und ist noch möglich (bitte möglichst zeitnah einreichen).
10. Januar
Die korrigierten Prüfungstermine stehen fest.
12. Dezember
Es gab einen Bug in Aufgabe 7.1. Das verbesserte Übungsblatt ist online.
8. November
Die Übung findet ab jetzt in IZ-358 statt (nicht in IZ-160).
25. Oktober
Es gab eine kleine Änderung bei Aufgabe 3 auf Übungsblatt 2.
18. Oktober
Das erste Übungsblatt ist online. Es ist bis Mittwoch 25. Oktober 12 Uhr abzugeben.
4. Oktober
Raumänderung! Die Vorlesung findet in IZ-358 statt (nicht in IZ-160).
2. Juni
Alle Informationen auf dieser Seite sind derzeit noch vorläufig.

Organisation

Prüfungstermine

Es wird zwei Slots für Prüfungstermine geben: Um einen Prüfungstermin zu erhalten, schreiben Sie bitte bis zum 7. Februar eine EMail an Sebastian Wolff. Teilen Sie ihm Ihren vollständigen Namen, die Vorlesung, die Sie prüfen möchten, und Ihren bevorzugten Slot mit. Den genauen Termin (Tag und Zeit) teilen wir Ihnen dann später per EMail mit.

Vorlesungsnotizen

Zur Vorlesung gibt es Vorlesungsaufzeichnungen, sowie handschriftliche Notizen:

Als weitere Materialien verweisen wir auf die Vorlesungen Bäume, Ordnungen, und Anwendungen und Formale Grundlagen der Programmierung aus früheren Semestern.

Übungsblätter

Die Übungsblätter werden hier online gestellt. Bitte geben Sie in Gruppen von 2-3 Personen ab. Zur Abgabe Ihrer Lösungen dient eine Box neben Büro IZ-343 im Institut für Theoretische Informatik, Informatikzentrum, Mühlenpfordtstr. 23.

Bei Fragen zu oder Problemen mit den Übungen wenden Sie sich bitte an Elisabeth.

Modul

Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

Inhalte

Die Vorlesung behandelt die folgenden Themengebiete:

Literatur