Seminar Theoretische Informatik

17.10.2000 HG 3-68 15:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Aktuelles aus der Theorie Endlicher Automaten (Zusammenfassung | Text)

7.11.2000 HG 3-68 15:15 Uhr

Dr. Johannes Waldmann und Heiko Stamer
Institut für Informatik
Universität Leipzig
Neuigkeiten vom Postschen Korrespondenz-Problem (Zusammenfassung)

14.11.2000 HG 4-40 15:15 Uhr

Prof. Heinrich Herre
Institut für Informatik
Universität Leipzig
Ontological Engineering: Modellierung von Wissen

21.11.2000 HG 4-40 14:45 Uhr

Nguyen Thanh Hai
Institut für Informatik
Universität Leipzig
Probleme der Ontologie

28.11.2000 HG 4-40 15:15 Uhr

Gundula Niemann, AG Theoretische Informatik, Universität-GH Kassel
Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Die regulären Sprachen und die Church-Rosser-Kongruenz-Sprachen (Zusammenfassung)

19.12.2000 Felix-Klein-Hörsaal (HG 4-24) 15:15 Uhr

Dr. Thomas Noll,
Forschungsgruppe für Mathematische Musiktheorie,
Technische Universität Berlin
Mathematische Musiktheorie
Modelle und computergestützte Experimente (Zusammenfassung)

12.01.2001, 11:15 - 12:45 Uhr, Hörsaalgebäude, Hörsaal 22

Prof. Dr. Ingo Althöfer,
Institut für Angewandte Mathematik,
Universität Jena
Multiple-Choice-Algorithmen
für Systeme zur Entscheidungs-Unterstützung

16.01.2001 HG 3-67 15:15 Uhr

Prof. Heinrich Herre
Institut für Informatik
Universität Leipzig
Ansätze zur Axiomatisierung der Ontologie

23.01.2001 HG 4-40 15:15 Uhr

Dr. Rolf Hartwig
Institut für Informatik
Universität Leipzig
Über Hypermengen und Selbstreferenz

[zurück]