Algebraische Spezifikation und unterstützende Werkzeuge (in Postscript, gezippt, 263 KByte). Die Version stammt aus dem Sommersemester 2001.

Formale Methoden der Programmierung und unterstützende Werkzeuge (in Postscript, gezippt, 455 KByte). Die Version stammt aus dem Winterssemester 2005/06.

Skriptum zur Vorlesung Informatik I in Postscript) und in PDF. Die ursprüngliche Version stammt aus dem Winterssemester 2004/05. Sie ist auch die Grundlage der Vorlesung Informatik I im WS 2006/2007 und wird im Laufe der Vorlesung nur geringfägig modifiziert werden (etwa durch die Behebung von Ungenauigkeiten und Tippfehlern).

Das Skriptum zu den Vorlesungen Informatik I und II aus den Studienjahren 1994/95, 1996/97 und 1998/99 ist hier zu finden (in Postscript, gezippt, 586 KByte). Es kann auch der Fachschaft zum Fotokopieren ausgeliehen werden.

Die Manuskripte zu den drei Vorlesungen Verbands- und Relationentheorie mit Anwendungen in der Informatik, Ordnungen und Verbände und Relationale Methoden in der Informatik werden demnächst als gemeinsames Buch beim Teubner-Verlag erscheinen. Sie können deshalb nicht mehr Online zur Verfügung gestellt werden.