Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Veranstaltungen der letzten Jahre

Im Wintersemester 2003/2004 werden ein Praktikum Reduktionssysteme, ein SeminarTheorembeweisen und die Vorlesungen über Theorembeweisen in der Induktiven Theorie und in der Prädikatenlogik angeboten.
Im Sommersemester 2003 wurden ein Praktikum Theorembeweisen, ein SeminarTheorembeweisen und die Vorlesung Reduktionssysteme angeboten.
Im Wintersemester 2002/2003 wurde ein Praktikum Reduktionssysteme und die Vorlesung Theorembeweisen angeboten.
Im Sommersemester 2002 wurde die Vorlesung unter Anderem Reduktionssysteme angeboten.
Im Wintersemester 2001/2002 wurde unter Anderem die Vorlesung Theorembeweisen angeboten.
Im Sommersemester 2001 wurde unter Anderem die Vorlesung Reduktionssysteme angeboten.
In Wintersemester 2000/2001 wurde unter Anderem die Vorlesung Entwurf und Analyse von Algorithmen angeboten.
Im Sommersemester 2000 wurde unter Anderem die Vorlesung Grundlagen der Programmierung angeboten.

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