Lehrangebot der Abteilung
Formale Konzepte

Sommersemester 2006                                                      

• Prinzipien des Ontological Engineering (H.Herre)
  • Vorlesung : dienstags, 13.15-14.45 Uhr, SG 3-09

• Forschungsseminar Ontological Engineering Social Reality (H.Herre)
  • Seminar: ? ? ?

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

• Formale Ontologie für Informationssysteme (H.Herre)
  • Vorlesung: mittwochs, 15.15-16.45 Uhr, CLI, Kl. HS

• Deduktionssysteme (H.Herre)
  • Vorlesung : donnerstags, 11.15-12.45 Uhr, HTWK Audimax

• Logik (H.Herre)
  
  • Vorlesung: donnerstags, 15.15-16.45 Uhr, CLI, Gr. HS
  • Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, A Woche, SG 3-01
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-03
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-03

Durchgeführte Lehrveranstaltungen:                                

[WS 05/06] [SS 05] [WS 04/05] [SS 04] [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]