Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Informationen zur Vorlesung Theorembeweisen im Wintersemester 2001/2002

Auf dieser Seite und den referenzierten Seiten finden Sie alle Informationen, die im Zusammenhang mit der Organisation der Vorlesung Theorembeweisen im Wintersemester 2001/2002 von Bedeutung sind.

Die Vorlesung gliedert sich in zwei Teilvorlesungen:

Theorembeweisen in PL1
Theorembeweisen in der induktiven Theorie

Aktuelles:

Kopiervorlagen zur Literatur für die Teilvorlesung Theorembeweisen in PL1 sind im Vorlesungsordner in der Informatikbibliothek zu finden.
Lösungshinweise zu den Übungsblättern:
In der Informatik-Bibliothek sind in dem Ordner Theorembeweisen Lösungshinweise zu den Übungsaufgaben zu finden.

Ansprechpartner

Termine

Literatur zu PL1 / Induktive Theorie

Folien zu PL1 / Induktive Theorie

Übungsblätter zu PL1 / Induktive Theorie

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Informationen zur Vorlesung Theorembeweisen im Wintersemester 2001/2002

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus