Lehrangebot der Abteilung
Automaten und Sprachen
Vorbesprechung Seminar "Automatentheorie" für das SS
2008:
Donnerstag, 31.1.2008, 9:15 Uhr, Johannisgasse 26, Raum 4-42
Es werden Artikel vorgestellt, die nächtes Semester bearbeitet und
vorgestellt werden können. Alle Interessierten sind herzlich
eingeladen.
Wintersemester 2007/08
- Automatentheorie
- Vorlesung: (M.Droste) mittwochs, 17:15-18:45, Ch H 4
- Vorlesung: (M.Droste) freitags, 11:15-12:45, Brüderstr.14-24, R116
- Übung: (I.Meinecke) montags, 11:15-12:45 Uhr, Brühl, R 723
- Übung: (K.Quaas) mittwochs, 13:15-14:45, Brühl, R 610
- Automatentheorie
- Seminar: (M.Droste/D.Kuske) donnerstags, 9:15-10:45, Brühl, R 718
-
Modelle nebenläufiger Prozesse: Spurtheorie
- Vorlesung: (M.Droste) donnerstags, 15:15-16:45, Brühl, R 610
- Übung: (C.Mathissen) donnerstags, 17:15-18:45, Brühl, R 610
-
omega-Automaten
- Vorlesung: (D.Kuske) mittwochs, 11:15-12:45 Uhr, Brühl, R 712
-
Termersetzung
- Vorlesung: (D.Kuske) mittwochs, 07:30-09:00 Uhr, KH 2-06
Durchgeführte Lehrveranstaltungen:
[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]