Lehre von Ralph Matthes

• Schnupper-Workshop Informatik im Juli 2005
• Programmierpraktikum im Grundstudium im Wintersemester 2004/05
• Hauptseminar Fixpunkte im Wintersemester 2004/05
• Übungen Informatik II im Sommersemester 2004
• Übungen Rechnergestütztes Beweisen im Wintersemester 2003/04
• Übungen Effiziente Algorithmen im Sommersemester 2003
• Übungen zur Einführung in die Informatik: Programmierung und Software-Entwicklung im Wintersemester 2002/03
• Vorlesung und Übungen Fixpunkte im Wintersemester 2002/03
• Vorlesung und Übungen Computergestütztes symbolisches Rechnen im Wintersemester 2001/02
• Vorlesung und Übungen Termersetzungssysteme im Sommersemester 2001
• Proseminar Termersetzung im Wintersemester 2000/01
• Vorlesung und Übungen Lambda-Kalkül und Typen im Sommersemester 2000
• Programmierpraktikum im Wintersemester 1999/2000
• Vorlesung und Übungen Lambda-Kalkül und Typen im Sommersemester 1999
• Übungen Formale Sprachen und Automaten im Sommersemester 1999
• Übungen Informatik I im Wintersemester 1998/99
• Proseminar über den Fundamentalsatz der Algebra und konstruktive Aspekte im Wintersemester 1998/99
• Vorlesung und Übungen Lambda-Kalkül im Sommersemester 1998
• Übungen Bioinformatik im Wintersemester 1997/98