Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2004/05
- Forschungsseminar Automatentheorie
- mittwochs, 09:15-10:45 Uhr, SG 3-95
- Automatentheorie
- Automaten und Formale Sprachen
- Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, (A/B), SG 3-09
- Übung: (R.Hartwig) montags, 11.15-12.45 Uhr, (A/B), SG 3-71
- Übung: (R.Hartwig) donnerstags, 11.15-12.45 Uhr, (A/B), SG 3-09
- Baumautomaten
- Vorlesung: (D.Kuske) freitags, 07.30-09.00 Uhr, H 8
- Übung: (D.Kuske) n.V.
- Mengentheoretisch-algebraische Grundlagen
- Vorlesung: (M.Droste) donnerstags, 15:15-16:45 Uhr, H 13
- Übung: (I.Meinecke) donnerstags, 11:15-12:45 Uhr, (A/B), SG 3-05
- Übung: (I.Meinecke) freitags, 09:15-10:45 Uhr, (A/B), SG 3-07
- Übung: (A.Nittka) montags, 11:15-12:45 Uhr, (A/B), SG 3-07
- Nebenläufige Prozesse: Spurtheorie
- Vorlesung: (M.Droste) freitags, 09:15-10:45 Uhr, SG 3-09
- Übung: (G.Ulbrich) freitags, 11:15-12:45 Uhr, SG 3-41
- Semantik von Programmiersprachen
- Vorlesung: (D.Kuske) mittwochgs, 17.15-18.45 Uhr, SG 3-09
- Übung: (D.Kuske) n.V.
Durchgeführte Lehrveranstaltungen:
[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]