Formale Konzepte

Lehrangebot Wintersemester 1998/99

Übung: Mengentheoretisch-Algebraische Grundlagen (R.Hartwig)
- montags, 10.15-11.45 Uhr, SG 3-03
- montags, 13.15-14.45 Uhr, SG 1-35
- montags, 13.45-15.15 Uhr, SG 3-11
- dienstags, 12.15-13.45 Uhr, SG 3-03
Theorie-Seminar (Rückblick) (S.Gerber, H.Herre)
- dienstags, 15.00-16.30 Uhr, HG 3-68
Grundlagen des Lambda-Kalküls II (H.Herre)
- mittwochs, 10.15-11.45 Uhr, HS 7
Temporale Datenbanken (G.Wagner)
- mittwochs, 10.15-11.45 Uhr, SG 3-11
Logische Programmierung mit Constraints (G.Brewka, H.Herre)
- donnerstags, 10.15-11.45 Uhr, SG 3-69
Mengentheoretisch-Algebraische Grundlagen (H.Herre)
- donnerstags, 12.15-13.45 Uhr, HS 14