Lehrangebot der Abteilung
Automaten und Sprachen
Sommerersemester 2008
-
Berehenbarkeit [10-201-2009]
- Vorlesung: (M.Droste) montags, 11.15-12.45 Uhr, KH, R 2-11
- Übung: (I.Fichtner) dienstags, 09.15-10.45 Uhr, A, Brühl, R 612
- Übung: (I.Fichtner) freitags, 09.15-10.45 Uhr, A, Brühl, R 708
- Übung: (I.Fichtner) dienstags, 09.15-10.45 Uhr, B, Brühl, R 612
- Übung: (I.Fichtner) freitags, 09.15-10.45 Uhr, B, Brühl, R 708
-
Masterseminar Automatentheorie [10-202-2011]
- Seminar: (M.Droste) montags, 13.15-14.45 Uhr, Brühl, R 712
-
Doktorandenseminar Automatentheorie [10-202-2012]
- Forschungsseminar: (M.Droste) dienstags, 14.15-15.45 Uhr, Jo, R 4-42
-
Petrinetze
- Vorlesung: (D.Kirsten) mittwochs, 11.15-12.45 Uhr, Brühl, R 621
- Vorlesung: (D.Kirsten) donnerstags, 09.15-10.45 Uhr, KH, R 2-06
- Übung: (D.Kirsten) montags, 11.15-12.45 Uhr, Brühl, R 710
- Übung: (D.Kirsten) montags, 13.15-14.45 Uhr, Brühl, R 712
-
Bachelorseminar Informatik [10-201-2010]
- Seminar: (M.Droste) freitags, 09.15-10.45 Uhr, Brühl, R 728
-
Semantik von Programmiersprachen [10-201-2105]
- Vorlesung: (M.Droste) freitags, 11.15-12.45 Uhr, KH, R 2-06
- Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B, Brühl R 510
-
Automaten und Sprachen [10-201-2108-2]
- Übung: (R.Hartwig) freitags, 07.30-09.00 Uhr, A, Brühl R 623
- Übung: (R.Hartwig) dienstags, 07.30-09.00 Uhr, A, Brühl R 623
- Übung: (R.Hartwig) freitags, 07.30-09.00 Uhr, B, Brühl R 623
- Übung: (R.Hartwig) dienstags, 07.30-09.00 Uhr, B, Brühl R 623
-
Baumautomaten [10-202-2107]
- Vorlesung: (D.Kuske) (Beginn Juni)
Durchgeführte Lehrveranstaltungen:
[WS 07/08]
[SS 07]
[WS 06/07]
[SS 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]