Seminar Theoretische Informatik

14.10.2003 HG 3-68 13:00 Uhr

Prof.Dr.H.Herre, PD Dr. G. Kern-Isberner
Institut für Informatik
Universität Leipzig
Vorbesprechung zum Plan Wintersemester 2003/04

28.10.2003 HG 3-68 15:00 Uhr

PD Dr. Gabriele Kern-Isberner
Institut für Informatik
Universität Leipzig
Wenn das Wörtchen "Wenn" nicht wär ...
Potential und Problematik der Verarbeitung konditionalen Wissens

11.11.2003 HG 3-68 15:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Die Top-Level Ontologie von Onto-Med

02.12.2003 HG 3-68 15:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Die Top-Level Ontologie von Onto-Med (Fortsetzung)

16.12.2003 HG 3-68 15:00 Uhr

Hannes Michalek, IfI
Institut für Informatik
Universität Leipzig
Grundlegende Theorien zur Kausalitätsrelation

27.01.2004 HG 3-68 15:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Gödelsche Unvollständigkeitssätze und Beweis von Tarski

Rückblick                                                         

[SS 03] [WS 02/03] [SS 02] [WS 01/02] [SS 01] [WS 00/01]
[SS 00] [WS 99/00] [SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97]