Formale Konzepte

Lehrangebot Wintersemester 1999/2000

Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.00-16.30 Uhr, HG 3-68
Multi-Agenten-Systeme (H.Herre, G.Brewka)
- mittwochs, 13.15-14.45 Uhr, SG 1-74
Wissensmodellierung in der Medizin und Technik (H.Herre, B.Heller)
- mittwochs, 15.15-16.45 Uhr, SG 3-01
Deduktionssysteme (H.Herre)
- donnerstags, 09.15-10.45 Uhr, H 8
Berechenbarkeit, Komplexitätstheorie (H.Herre)
- Vorlesung: donnerstags, 13.15-14.45 Uhr, H 22
- Übung: (J.Waldmann) montags, 15.15-16.45 Uhr, A Woche, SG 3-11
- Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-09
- Übung: (J.Waldmann) mittwochs, 11.15-12.45 Uhr, A Woche, SG 3-11
- Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-09