Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2007
- Algorithmische Modelltheorie
- Vorlesung: (D.Kuske) donnerstags, 17.15-18.45 Uhr, KH 2-04
- Übung: (D.Kuske) donnerstags, 11.15-12.45 Uhr, Brühl R 710
- Bachelorseminar Informatik
- Seminar: (M.Droste) donnerstags, 17.15-18.45 Uhr, Brühl R 508
- Diskrete Strukturen und Codierungstheorie
- Vorlesung: (M.Droste) dienstags, 15:15-16:45 Uhr, KH 2-04
- Übung: (I.Mäurer) donnerstags (A), 07:30-09:00 Uhr, Brühl R 1023
- Übung: (I.Mäurer) freitags (A), 07:30-09:00 Uhr, Brühl R 723
-
Logik, Automaten und Sprachen 2
- Vorlesung: (M.Droste) donnerstags, 15:15-16:45, CLI GrHs
- Übung: (R.Hartwig) mittwochs (A/B), 13:15-14:45, Brühl R 730
- Übung: (R.Hartwig) freitags (A), 07:30-09:00, Brühl R 618
- Masterseminar Informatik
- Forschungsseminar: (M.Droste) nach Vereinbarung
- Verifikation
- Vorlesung: (D.Kuske) freitags, 13.15-14.45 Uhr, KH 2-10
- Übung: (D.Kuske) donnerstags, 13.15-14.45 Uhr, Brühl R 710
Durchgeführte Lehrveranstaltungen:
[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]