Automaten und Sprachen

Lehrangebot Wintersemester 1999/2000

• Berechenbarkeit, Komplexitätstheorie
  
  • Übung: (J.Waldmann) montags, 15.15-16.45 Uhr, A Woche, SG 3-11
  • Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-09
  • Übung: (J.Waldmann) mittwochs, 11.15-12.45 Uhr, A Woche, SG 3-11
  • Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-09

• Digitale Informationsverarbeitung
  
  • Übung: (H.-P.Schötz) montags, 13.30-15.00 Uhr, SG 3-07
  • Übung: (H.-P.Schötz)) mittwochs, 17.15-18.45 Uhr, SG 3-01

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

• Fortgeschrittene Algorithmen und Datenstrukturen (J.Waldmann)
  
  • mittwochs, 09.15- 10.45 Uhr, H 7

• Funktionale Programmierung II (S.Gerber, M.Hartwig)
  
  • Vorlesung: mittwochs, 13.15-14.45 Uhr, SG 3-07

• Grundlagen der Programmverifikation (R.Hartwig)
  
  • donnerstags, 7.30- 9.00 Uhr, H 2

• Mengentheoretisch-algebraische Grundlagen (S.Gerber)
  • Vorlesung: donnerstags, 15.15-16.45 Uhr, H 11
  • Übung: (R.Hartwig) dienstags, 11.15-12.45 Uhr, A Woche, SG 3-07
  • Übung: (R.Hartwig) dienstags, 11.15-12.45 Uhr, B Woche, SG 3-07
  • Übung: (M.Hartwig) mittwochs, 09.15-10.45 Uhr, A Woche, SG 3-09
  • Übung: (M.Hartwig) mittwochs, 11.15-12.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) donnerstags, 17.15-18.45 Uhr, A Woche, SG 3-03
  • Übung: (R.Hartwig) freitags, 07.30-09.00 Uhr, A Woche, SG 3-07

• Petri-Netze (S.Gerber)
  
  • freitags, 09.15- 10.45 Uhr, H 1

Durchgeführte Lehrveranstaltungen:

Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97
Sommersemester 1996