Automaten und Sprachen

Lehrangebot Sommersemester 1998

• Funktionale Programmierung (S.Gerber)
  dazu Übungen
  • montags, 10.15-11.45 Uhr, HG 3-68

• Automaten und formale Sprachen (S.Gerber)
  
  • dienstags, 10.15-11.45 Uhr, HS 14

• Übung: Automaten und formale Sprachen
  
  • dienstags, 8.15-9.45 Uhr, SG 3-09 (A Woche) (M. Hartwig)
  • dienstags, 8.15-9.45 Uhr, SG 3-09 (B Woche) (R. Hartwig)
  • mittwochs, 11.00-12.30 Uhr, SG 1-97 (A Woche) (R. Hartwig)

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

• C - Praktikum (M. Meiler, S.Jusek, S.Kotkowskij, D.Larisch, G.Queck)
  • donnerstags, 8.00-18.00 Uhr, HP-Pool

• Übung: Logik(Grundkurs) (J. Waldmann)
  
  • donnerstags, 08.15-09.45 Uhr, SG 3-07
  • donnerstags, 10.15-11.45 Uhr, SG 3-07

• Grundlagen der Programmverifikation (R. Hartwig)
  • freitags, 8.15-9.45 Uhr, SG 3-03

  Durchgeführte Lehrveranstaltungen:

  Wintersemester 1997/98
  Sommersemester 1997
  Wintersemester 1996/97
  Sommersemester 1996

  ---

  11.5.1998