Lehrangebot der Abteilung
Automaten und Sprachen

Sommersemester 2001                                                     

• Funktionale Programmierung I
  
  • Vorlesung: (S.Gerber) montags, 15.15-16.45 Uhr, HS 11

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

• Logik dazu (Übungen)
  
  • Vorlesung: (H.Herre) dienstags, 18.15-19.45 Uhr, HS 13
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-07
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-07
  • Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-07
  • Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-07
  • Übung: (R.Hartwig) freitags, 11.15-12.45 Uhr, A Woche, SG 3-07

• Leben und Arbeiten in einer vernetzten Welt
  
  • Interdisziplinäre Ringvorlesung: (S. Gerber / K. Beck (KMW)),
    mittwochs, 18.15- 19.45 Uhr, H 22

• Spezifikation abstrakter Datentypen
  
  • Vorlesung: (R.Hartwig) freitags, 07.30-09.00 Uhr, H 14

• Petri-Netze
  
  • Vorlesung: (S.Gerber) freitags, 9.15-10.45 Uhr, H 7
  • Übung: (S.Gerber) mittwochs, 13.15-14.45 Uhr, B Woche, SG 3-11

• L-Systeme
  
  • Vorlesung: (J.Waldmann) freitags, 11.15- 12.45 Uhr, H 21

• Berechenbarkeitstheorie      dazu (Folien | Übungen)
  
  • Vorlesung: (S.Gerber) freitags, 13.15- 14.45 Uhr, H 11
  • Übung: (J.Waldmann) mittwochs, 13.15-14.45 Uhr, B Woche, SG 3-09
  • Übung: (J.Waldmann) mittwochs, 13.15-14.45 Uhr, A Woche, SG 3-09
  • Übung: (J.Waldmann) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-09
  • Übung: (J.Waldmann) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-09

• Algorithmen und Datenstrukturen
  
  • Übung: (H.-P.Schötz) freitags, 13.30-15.00 Uhr, B Woche, 3-07
  • Übung: (H.-P.Schötz) freitags, 13.30-15.00 Uhr, A Woche, 3-07

Durchgeführte Lehrveranstaltungen:                                

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