Lehrangebot der Abteilung
Automaten und Sprachen

Wintersemester 2001/02                                                         

• Mengentheoretisch-algebraische Grundlagen   [dazu Skript]
  
  • Vorlesung: (S.Gerber) montags, 15.15-16.45 Uhr, H 19
  • Übung: (P.Richter) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-03
  • Übung: (P.Richter) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-03
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, B Woche, SG 3-05
  • Übung: (P.Richter) donnerstags, 13.15-14.45 Uhr, A Woche, SG 3-03
  • Übung: (P.Richter) donnerstags, 13.15-14.45 Uhr, B Woche, SG 3-03
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-05

• Automaten und Formale Sprachen
  
  • Vorlesung: (H.Herre) montags, 17.15-18.45 Uhr, H 12
  • Übung: (R.Hartwig) montags, 9.15-10.45 Uhr, A Woche, SG 3-03
  • Übung: (R.Hartwig) montags, 9.15-10.45 Uhr, B Woche, SG 3-03
  • Übung: (J.Waldmann) montags, 9.15-10.45 Uhr, A Woche, SG 3-05
  • Übung: (J.Waldmann) montags, 9.15-10.45 Uhr, B Woche, SG 3-05
  • Übung: (R.Hartwig) montags, 15.15-16.45 Uhr, A Woche, SG 3-07
  • Übung: (R.Hartwig) montags, 15.15-16.45 Uhr, B Woche, SG 3-07

• Kombinatorische Spieltheorie
  
  • Vorlesung: (J.Waldmann) dienstags, 9.15- 10.45 Uhr, SG 3-05

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

• Digitale Informationsverarbeitung
  
  • Übung: (H.-P.Schötz) (mi.o) donnerstags, 17.15-18.45 Uhr, SG 3-03

• Funktionale Programmierung II
  
  • Vorlesung: (S.Gerber) donnerstags, 9.15-10.45 Uhr, SG 3-03

• Petri-Netze II
  
  • Vorlesung: (S.Gerber) donnerstags, 13.15- 14.45 Uhr, H 8

• Grundlagen der Informatik - Syntax, Semantik, Spezifikation
  
  • Vorlesung: (R.Hartwig) freitags, 07.30-09.00 Uhr, H 14

• Digitale Informationsverarbeitung
  
  • Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, B Woche, SG 3-05

Durchgeführte Lehrveranstaltungen:                                

Sommersemester  2001
Wintersemester  2000/01
Sommersemester  2000
Wintersemester 1999/2000
Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97
Sommersemester 1996