Lehre in der Informatik von
Ralph Matthes
(in Deutschland in deutscher Sprache 1997-2005)
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
(password required)
Ü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
Ralph Matthes
Last modified: Wed January 14, 2015, 16:42:41 (UTC+0100)