Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2009/10
- Automatentheorie für Bachelor [10-201-2010]
- Seminar: (M.Droste, I.Meinecke) montags, 13.15-14.45 Uhr, S 114
- Logik
- Übung: (R.Hartwig) montags, 13.15-14.45 Uhr A, S 212
- Übung: (R.Hartwig) montags, 13.15-14.45 Uhr B, S 212
- Übung: (R.Hartwig) dienstags, 09.15-10.45 Uhr A, S 314
- Übung: (R.Hartwig) dienstags, 09.15-10.45 Uhr B, S 314
- Verifikation reaktiver Systeme durch Model Checking [10-201-2105][10-202-2107]
- Vorlesung: (I.Meinecke) dienstags, 17.15-18.45 Uhr, S 312
- Übung: (I.Meinecke) Termin der Übung wird in der ersten Vorlesung vereinbart
- Syntax, Semantik, Spezifikation - Algebraische Grundlagen der Informatik [10-201-2105]
- Vorlesung: (R.Hartwig) donnerstags, 07.30-09.00 Uhr, H 19
- Übung: (R.Hartwig) donnerstags, 13.15-14.45 Uhr B, S 214
- Automatentheorie für Master [10-202-2012]
- Seminar: (M.Droste, I.Meinecke) donnerstags, 13.15-14.45 Uhr, Jo 4-42
- Forschungsseminar Automatentheorie [10-202-2011]
- Seminar: (M.Droste) n.V., Jo 4-42
Durchgeführte Lehrveranstaltungen:
[SS 09]
[WS 08/09]
[SS 08]
[WS 07/08]
[SS 07]
[WS 06/07]
[SS 06]
[WS 05/06]
[SS 05]
[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]