Formale Konzepte

Lehrangebot Wintersemester 2000/2001

Mengentheoretisch-algebraische Grundlagen (H.Herre)
- Vorlesung: montags, 19.15-20.45 Uhr, H 18
- Übung: (Dr.Schüler) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-07
- Übung: (Dr.Schüler) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-07
- Übung: (Dr.Schüler) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-03
- Übung: (Dr.Schüler) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-03
- Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-11
- Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-11
- Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, A Woche, SG 3-09
- Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, B Woche, SG 3-09
Multi-Agenten-Systeme (G.Brewka, H.Herre)
- dienstags, 11.15-12.45 Uhr, SG 3-01
Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.00-16.30 Uhr, HG 3-68
Wissensmodellierung (H.Herre, B.Heller)
- mittwochs, 15.15-16.45 Uhr, B Woche, SG 3-01
Komplexitätstheorie (H.Herre)
- donnerstags, 09.15-10.45 Uhr, H 8

Seitenbetreuer: S. Kotkowskij, 10. 01. 2001