Formale Konzepte

Lehrangebot Sommersemester 1999

• Grundlagen der logischen Programmierung (H.Herre)
  • dienstags, 11.15-12.45 Uhr, HS 2

• Theorie-Seminar (Rückblick) (S.Gerber, H.Herre)
  • dienstags, 15.00-16.30 Uhr, HG 3-68

• Wissensmodellierung in der Medizin und Technik (H.Herre, B.Heller)
  • mittwochs, 11.00-12.30 Uhr, NSG 3-09

• Grundlagen des nicht-monotonen Schließens (G.Brewka/H.Herre)
  • donnerstags, 09.15-10.45 Uhr, HS 3

• Automaten und formale Sprachen (H.Herre)
  • donnerstags, 12.15-13.45 Uhr, HS 14

• Übung: Automaten und formale Sprachen (R.Hartwig)