Lehrangebot Automaten und Sprachen
Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2000
-
Funktionale Programmierung I (S.Gerber)
- Vorlesung: dienstags, 13.15-14.45 Uhr, H 1
-
Theorie-Seminar (S.Gerber, H.Herre)
- dienstags, 15.15-16.45 Uhr, HG 3-68
-
Algorithmen für Termgleichungen (R.Hartwig)
- mittwochs, 13.15-14.45 Uhr, SG 3-09
-
Logik (H.Herre) dazu Übungsafgaben
- Vorlesung: mittwochs, 17.15-18.45 Uhr, H 13
- Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, A Woche, SG 3-05
- Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, B Woche, SG 3-05
- Ü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: (J.Waldmann) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-09
- Übung: (J.Waldmann) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-09
- Ü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
-
Kommunikation in der Informationsgesellschaft (S.Gerber/B.Debatin(KMW))
- mittwochs, 18.15- 19.45 Uhr, H 11
-
Kombinatorik auf endlichen Strukturen (J.Waldmann)
- donnerstags, 11.15- 12.45 Uhr, SG 3-05
-
Formale Semantik (S.Gerber)
- freitags, 09.15- 10.45 Uhr, H 1
-
Algorithmen und Datenstrukturen
- Übung: (H.-P.Schötz) freitags, 09.15-10.45 Uhr, A Woche, SG 3-03
- Übung: (H.-P.Schötz) freitags, 09.15-10.45 Uhr, B Woche, SG 3-03
Durchgeführte Lehrveranstaltungen:
Wintersemester 1999/2000
Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97
Sommersemester 1996
Seitenbetreuer: S. Kotkowskij,
20. 04. 2000