Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2010/11
- Automaten und Sprachen [ 10-201-2108-2 ]
- Vorlesung: (M. Droste) montags, 13.15-14.45 Uhr, HS 10
- Übung: (K. Quaas) dienstags, 09.15-10.45 Uhr A, SG 3-12
- Übung: (K. Quaas) dienstags, 09.15-10.45 Uhr B, SG 3-12
- Übung: (K. Quaas) mittwochs, 09.15-10.45 Uhr A, SG 3-10
- Übung: (K. Quaas) mittwochs, 09.15-10.45 Uhr B, SG 3-10
- Bachelorsemilar Spiele und Automatentheorie [ 10-201-2010 ]
- Seminar: (M. Droste) dienstags, 11.15-12.45, Jo 4-42
- Masterseminar Quantitative Automatentheorie [ 10-201-2010 ] [ 10-202-2011 ]
- Seminar: (M. Droste) dienstags, 11.15-12.45, Jo 4-42
- Automatentheorie [ 10-202-2106 ]
- Vorlesung: (M. Droste) dienstags, 15.15-16.45 Uhr, HS 19
- Vorlesung: (M. Droste) donnerstags, 13.15-14.45 Uhr, HS 15
- Übung: (Th. Weidner) mittwochs, 09.15-10.45 Uhr, SG 3-14
- Übung: (V. Perevoshchikov) freitags, 09.15-10.45 Uhr, SG 3-14
- Logik [ 10-201-2108-1 ]
- Vorlesung: (M. Lohrey) freitags, 09.45-10.45, HS 10
- Übung: (I. Meinecke) montags, 13.45-14.45 Uhr A, SG 1-10
- Übung: (I. Meinecke) montags, 13.45-14.45 Uhr B, SG 1-10
- Übung: (I. Meinecke) dienstags, 09.45-10.45 Uhr A, SG 3-14
- Übung: (I. Meinecke) dienstags, 09.45-10.45 Uhr B, SG 3-14
- Forschungsseminar Automatentheorie [10-201-2010] [10-202-2011] [10-202-2115]
- Seminar: (M. Droste, M. Lohrey ) mittwochs, 15.15-16.45 Uhr, Jo 4-42
[Vorbesprechung und Vergabe der Themen in der 1. Vorlesungswoche.]
Durchgeführte Lehrveranstaltungen:
[SS 10]
[WS 09/10]
[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]