ThI
 

Lehrveranstaltungen

Wintersemester 2007/2008

Lehrstuhl für Theoretische Informatik
Institut für Informatik
Naturwissenschaftliche Fakultät III
Martin-Luther-Universität Halle-Wittenberg

Dienstag, 14.15 -15.45 Uhr, Raum 1.18


09.10.07: Prof. Dr. L. Staiger: Besprechung


16.10.07: Dr. R. Winter: Akzeptierbarkeit iterativer Bildsprachen


23.10.07: Prof. Dr. L. Staiger: Martin-Löf- Tests


30.10.07: Dr. S. Schwarz: Martingale


06.11.07: J. Mielke: Komplexitäts-Oszillationen


13.11.07: Prof. Dr. L. Staiger: Definitionsbereiche universeller Präfixmaschinen


20.11.07: M. Lutzemann: Präfix-Komplexität und zufällige Folgen


27.-29.09.07: Theorietag in Leipzig
18.12.07: Prof. Dr. L. Staiger: Besprechung


08.01.08: Prof. Dr. L. Staiger: On e-randomness


15.01.08: J. Mielke: Dimension und Komplexitätsschranken


22.01.08: Dr. S. Schwarz: Stone-Dualität für akzeptierbare Sprachen


29.01.08: R. Polley: Eine Hierarchie der Zufallstests



Studenten,die am Oberseminar teilnehmen möchten,

schicken bitte Ihre E-mail-Adresse an winter@informatik.uni-halle.de.

 Sie bekommen dann die Vortragsankündigungen auf elektronischem Weg zugestellt.

 29.01.2008