Lehrangebot der Abteilung
Formale Konzepte

Sommersemester 2001

Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.15-16.45 Uhr, HG 3-68
Logik dazu (Übungen)
- Vorlesung: (H.Herre) dienstags, 18.15-19.45 Uhr, HS 13
- Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-07
- Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-07
- Übung: (F.Wolter) mittwochs, 07.30-09.00 Uhr, A Woche, SG 3-03
- Übung: (F.Wolter) mittwochs, 07.30-09.00 Uhr, A Woche, SG 3-03
- Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-07
- Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-07
- Übung: (F.Wolter) freitags, 09.15-10.45 Uhr, A Woche, SG 3-07
- Übung: (F.Wolter) freitags, 09.15-10.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, A Woche, SG 3-07
ProS: Grundlagen der Wissensmodellierung (H.Herre, B.Heller)
- Seminar: mittwochs, 13.15-14.45 Uhr, SG 3-01
Ontologiebasierte Wissenssysteme (H.Herre, B.Heller)
- Vorlesung: mittwochs, 15.15-16.45 Uhr, H 4
Grundlagen des Lambda-Kalküls (H.Herre)
- Vorlesung: donnerstags, 11.15-12.45 Uhr, H 8

Seitenbetreuer: S. Kotkowskij, 17. 04. 2001