Lehre

Kommt: Wintersemester 03/04

Warum? Deswegen.

Vorbei: Sommersemester 03

• Vorlesung Graphentheorie

• Übungen zur Vorlesung Berechenbarkeit und Komplexität

• Programmierwettbewerb Havannah

Vorbei: Wintersemester 02/03

• Übungen zur Vorlesung Automaten und Formale Sprachen (Prof. Dr. S. Gerber)

Vorbei: Sommersemester 02

• Vorlesung Mehr als Worte

• Aufgaben zur Vorlesung Funktionales Programmieren (Prof. Dr. S. Gerber), evtl. auch für OO-Praktikum (Dr. Wolff) geeignet

Vorbei: Wintersemester 01/02

• Vorlesung Kombinatorische Spieltheorie

• Übung zur Vorlesung Automaten und Sprachen von Prof. Dr. H. Herre

• Blockpraktikum Haskell compact (12. - 14. Oktober, vorbei)

Vorbei: Sommersemester 01

• Vorlesung L-Systeme

• Übungen zur Vorlesung Berechenbarkeit und Komplexität von Prof. Dr. S. Gerber

Vorbei: Wintersemester 00/01

• Vorlesung Praxis der Funktionalen Programmierung

• Übungen zur Vorlesung Automaten und Formale Sprachen (Prof. Dr. Gerber)

Vorbei: Sommersemester 00

• Vorlesung Kombinatorik auf endlichen Strukturen

• Übungen zur Vorlesung Logik von Prof. Dr. Herre

Vorbei: Wintersemester 99/00

• Vorlesung Fortgeschrittene Algorithmen und Datenstrukturen

• Übungen zur Vorlesung Berechenbarkeit und Komplexität von Prof. Dr. Herre

Vorbei: Sommersemester 99

• Vorlesung Baumautomaten

• Übungen zur Vorlesung Logik von Prof. Dr. Gerber.

Vorbei: Wintersemester 98/99

• Übungen zur Vorlesung Berechenbarkeit und Komplexität (Prof. Dr. Gerber)

Vorbei: Sommersemester 98

• Übungen zur Vorlesung Logik (Prof. Dr. Herre)

http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de