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