Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Vorlesung Theorembeweisen in der Induktiven Theorie im WS 2003/04

Auf dieser Seite und den referenzierten Seiten finden Sie alle Informationen, die im Zusammenhang mit der Organisation der Vorlesung Theorembeweisen in der Induktiven Theorie im Wintersemester 2003/04 von Bedeutung sind.

Aktuelles

Die studienbegleitenden Prüfungen für das Hauptstudium im Fach Angewandte Informatik sollen in der Zeit vom 20.02.2004 bis zum 05.03.2004 stattfinden. Die Prüfung zu dieser Vorlesung findet am Mittwoch den 25.02.2004 statt.
Achtung: Die Vorlesung wurde auf Montags 13:45 Uhr verlegt. Sie findet im Raum 32-439 statt.
Die erste Vorlesung ist am 30.10.2003. Dort wird der Übungstermin vereinbart.

Allgemeines

Der Eintrag ins Vorlesungsverzeichnis:
89-693, Theorembeweisen in der Induktiven Theorie, Avenhaus
2 Std. Vorlesung, Do. 10.00 - 11.30 Uhr, 32-439
1 Std. Übung, n.V., s. Aushang
- In der Vorlesung werden nur Spezifikationen betrachtet, die ein initiales Modell besitzen. Sie treten auf bei der Spezifikation abstrakter Datentypen. Es werden Techniken besprochen, mit denen man Theoreme der induktiven Theorie einer Spezifikation nachweisen kann. Dies erlaubt es, Programme auf der Spezifikationsebene als korrekt nachzuweisen.
- Die Literatur wird in der Vorlesung bekanntgegeben.
- Vordiplom und Vorlesung Reduktionssysteme
- Übungsschein
- Anwendungs- bzw. Vertiefungsveranstaltung des Lehrgebietes "Grundlagen der Programmierung".
  Zu dieser Vorlesung kann das Seminar "Theorembeweisen" 89-742 als Integriertes Seminar gewählt werden.

Vorlesung

Achtung: Die Vorlesung wurde auf Montags 13:45 Uhr verlegt. Sie findet im Raum 34-420 statt.

Vorlesungsfolien als Postscript: 1-20 21-36 37-48 49-60 61-68 69-88 89-104 105-116 117-132 133-144 145-156 157-168 169-190
Alle Folien in einer Datei.

Vorlesungsfolien als GNU-gezipptes Postscript: 1-20 21-36 37-48 49-60 61-68 69-88 89-104 105-116 117-132 133-144 145-156 157-168 169-190
Alle Folien in einer Datei.

Übungen

Die Übungen finden 14-tägig im Wechsel mit den Übungen zur Vorlesung Theorembeweisen in der Prädikatenlogik statt.
Anspechpartner: Tobias Wahl
Die Übungsblätter als Postskript: 1 2 3 4 5 6 7
Die Übungsblätter als GNU-gezipptes Postskript: 1 2 3 4 5 6 7

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus