Formale Konzepte

Lehrangebot Sommersemester 2000

Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.00-16.30 Uhr, HG 3-68
Wissensmodellierung in der Medizin und Technik (H.Herre, B.Heller)
- mittwochs, 11.00-12.30 Uhr, SG 3-03
Logik (H.Herre) dazu Übungsafgaben
- Vorlesung: mittwochs, 17.15-18.45 Uhr, H 13
- Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, A Woche, SG 3-05
- Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, B Woche, SG 3-05
- Übung: (R.Hartwig) dienstags, 11.15-12.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) dienstags, 11.15-12.45 Uhr, B Woche, SG 3-07
- Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-09
- Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-09
- Übung: (M.Hartwig) mittwochs, 09.15-10.45 Uhr, A Woche, SG 3-09
- Übung: (M.Hartwig) mittwochs, 11.15-12.45 Uhr, A Woche, SG 3-09
- Übung: (R.Hartwig) donnerstags, 17.15-18.45 Uhr, A Woche, SG 3-03
- Übung: (R.Hartwig) freitags, 07.30-09.00 Uhr, A Woche, SG 3-07
Lambda-Kalkül (H.Herre)
- donnerstags, 09.15-10.45 Uhr, H 8

20.04.2000