Lehrangebot der Abteilung
Formale Konzepte

Wintersemester 2004/05                                                      

• Automaten und Formale Sprachen (H.Herre)
  
  • Vorlesung: dienstags, 15.15-16.45 Uhr, H 13
  • Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, B Woche, SG 3-09
  • Übung: (R.Hartwig) montags, 11.15-12.45 Uhr, A Woche, SG 3-71
  • Übung: (R.Hartwig) montags, 11.15-12.45 Uhr, B Woche, SG 3-71
  • Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-09

• Diplomanden/Doktorandenseminar (H.Herre, M.Droste)
  • mittwochs, 09.15-10.45 Uhr, SG 3-95

• Formale Ontologie für Informationssysteme I (H.Herre, B.Heller)
  • Vorlesung: mittwochs, 15.15-16.45 Uhr, H 15

• Prinzipien und Methoden des Ontological Engineering (H.Herre, B.Heller)
  • Vorlesung

• Seminar Planen und Handlungsmodellierung (H.Herre, G.Brewka)
  • Seminar: n.V.

Durchgeführte Lehrveranstaltungen:                                

[WS 03/04] [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]