Lehrveranstaltungen
Wintersemester 2009/2010
Lehrstuhl für Theoretische Informatik
Institut für Informatik
Naturwissenschaftliche Fakultät III
Martin-Luther-Universität Halle-Wittenberg
Vergangene Semester:
hier
Wintersemester 2009/2010
Veranstaltung
Übungsblätter
Inhaltsangabe
Übungen/Hinweise
Prüfungen
Mathematische Grundlagen der Informatik
Staiger/
Winter
/Lutzemann/Polley
Übungsblätter
Folien
Autotool
Hinweise
Prüfungen
Anmeldung über CSS
Logik und Berechenbarkeit
Staiger
Proseminar Graphen und Algorithmen
Molitor
Oberseminar Theoretische Informatik
Staiger
Themen
R. Winter , 06.10.2009