Lehrangebot der Abteilung
Formale Konzepte

Wintersemester 2006/07                                                      

• Ontologie und medizinische Informationssysteme (H.Herre)
  • Vorlesung : dienstags, 17.15-18.45 Uhr, SG 3-05
  • Vorlesung : mittwochs, 15.15-16.45 Uhr, SG 3-11
  • Seminar: mittwochs, 17.15-18.45 Uhr, SG 3-11

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

• Methoden und Prinzipien der Logik (H.Herre)
  • Übung: donnerstags, 13.15-14.45 Uhr, SG 3-11
  • Vorlesung: donnerstags, 17.15-18.45 Uhr, KH 2-06

Durchgeführte Lehrveranstaltungen:                                

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