Lehrangebot der Abteilung
Formale Konzepte

Sommersemester 2002                                                         

• Metatheorie Formalisierter Wissenssysteme (H.Herre)
  • Vorlesung: montags, 15.15-16.45 Uhr, H 21

• Theorie-Seminar (S.Gerber, H.Herre)
  • dienstags, 13.15-14.45 Uhr, HG 3-68

• Ontologiebasierte Wissensmodellierung (H.Herre, B.Heller)
  • Seminar: mittwochs, 13.15-14.45 Uhr, SG 3-05

Durchgeführte Lehrveranstaltungen:                                

[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]