Lehrangebot der Abteilung
Formale Konzepte

Wintersemester 2001/02

Automaten und Formale Sprachen
- Vorlesung: (H.Herre) montags, 17.15-18.45 Uhr, H 12
- Übung: (R.Hartwig) montags, 9.15-10.45 Uhr, A Woche, SG 3-03
- Übung: (R.Hartwig) montags, 9.15-10.45 Uhr, B Woche, SG 3-03
- Übung: (J.Waldmann) montags, 9.15-10.45 Uhr, A Woche, SG 3-05
- Übung: (J.Waldmann) montags, 9.15-10.45 Uhr, B Woche, SG 3-05
- Übung: (R.Hartwig) montags, 15.15-16.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) montags, 15.15-16.45 Uhr, B Woche, SG 3-07
Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.15-16.45 Uhr, HG 3-68
Ontologiebasierte Wissensmodellierung (H.Herre, B.Heller)
- Seminar: mittwochs, 13.15-14.45 Uhr, SG 3-03
Formale Ontologien in Informationssystemen (H.Herre, B.Heller)
- Vorlesung: mittwochs, 15.15-16.45 Uhr, SG 3-03
Data Mining und induktive Inferenz (H.Herre, G.Brewka)
- Seminar: donnerstags, 11.15-12.45 Uhr, SG 3-09

Seitenbetreuer: S. Kotkowskij, 17. 07. 2001