Lehrangebot der Abteilung
Formale Konzepte

Wintersemester 2003/04                                                      

• Problemseminar Semantic Web (H.Herre, G.Brewka)
  • Seminar: dienstags, 11.15-12.45 Uhr, SG 3-09

• Theorie-Seminar (H.Herre, G.Kern-Isberner)
  • dienstags, 15.00-16.30 Uhr, HG 3-68

• Formale Ontologie und Informationssysteme I (H.Herre, B.Heller)
  • Vorlesung: mittwochs, 13.15-14.45 Uhr, H 4

• Prinzipien des Ontological Engineering (H.Herre, B.Heller)
  • Vorlesung: mittwochs, 15.15-16.45 Uhr, H 4

• Mengentheoretisch-algebraische Grundlagen (H.Herre)
  
  • Vorlesung: mittwochs, 17.15-18.45 Uhr, H 13
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-05
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, A Woche, SG 1-65
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, B Woche, SG 1-65
  • Übung: (R.Hartwig) donnerstags, 13.15-14.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) donnerstags, 13.15-14.45 Uhr, B Woche, SG 3-09
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-09

Durchgeführte Lehrveranstaltungen:                                

[SS 03] [WS 02/03] [SS 02] [WS 01/02] [SS 01] [WS 00/01] [SS 00] [WS 99/00]
[SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97] [WS 96/97] [SS 96]