Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2005
- Automatentheorie
- Seminar: (M.Droste/D.Kuske) donnerstags, 11.15-12.45 Uhr, SG 3-01
- Diskrete Strukturen und Codierungstheorie
- Vorlesung: (M.Droste) montags, 17.15-18.45 Uhr, H 22
- Formalsprachliche Aspekte des DNS-Computing
- Vorlesung: (D.Kuske) dienstags, 17.15-18.45 Uhr, Ch-H4
- Übung: (D.Kuske) montags, 13.15-14.45 Uhr, SG 3-01
- Übung: (D.Kuske) dienstags, 13.15-14.45 Uhr, SG 3-35
-
Logik
- Vorlesung: (M. Droste) donnerstags, 15.15-16.45 Uhr, H 13
- Übung: (A.Nittka) montags, 11.15-12.45 Uhr, A Woche, SG 3-07
- Übung: (I.Meinecke) donnerstags, 11.15-12.45 Uhr, A Woche, SG 3-05
- Übung: (I.Meinecke) freitags, 09.15-10.45 Uhr, A Woche, SG 3-09
- Übung: (A.Nittka) montags, 11.15-12.45 Uhr, B Woche, SG 3-07
- Übung: (I.Meinecke) donnerstags, 11.15-12.45 Uhr, B Woche, SG 3-05
- Übung: (I.Meinecke) freitags, 09.15-10.45 Uhr, B Woche, SG 3-09
- Verifikation
- Vorlesung: (D.Kuske) donnerstags, 09.15-10.45 Uhr, SG 3-35
- Übung: (D.Kuske) dienstags, 13.15-14.45 Uhr, SG 3-35
- Diplomanden/Doktorandenseminar Automaten und Sprachen
(M. Droste)
Durchgeführte Lehrveranstaltungen:
[WS 04/05]
[SS 04]
[WS 03/04]
[SS 03]
[WS 02/03]
[SS 02]
[WS 01/02]
[SS 01]
[WS 00/01]
[SS 00]
[WS 99/00]
[SS 99]
[WS 98/99] [SS 98]
[WS 97/98]
[SS 97]
[WS 96/97]
[SS 96]