Universität Karlsruhe
Institut für Logik, Komplexität und Deduktionssysteme
Prof. P. H. Schmitt
Dr. B. Beckert

Formale Systeme

Übungen zur Vorlesung im Wintersemester 2000/2001


Übungsaufgaben


Klausuren

Die Klausur zur Vorlesung Formale Systeme findet am Montag, dem 26.02.01 (Rosenmontag), um 9 Uhr statt.

Weitere Informationen zu den Klausuren werden hier bekanntgegeben.

Aufgaben und Lösungen der Klausuren im WS 1999/2000: erste Klausur, zweite Klausur.


Skriptum und Folien zur Vorlesung

Das Skriptum zur Vorlesung steht als PostScript-Datei zur Verfügung: FSSkript.ps.gz (518K).

Die Folien zur Vorlesung können hier heruntergeladen werden.


beckert@ira.uka.de
$Id: index.html,v 1.17 2001/02/15 10:14:00 beckert Exp $