Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2014/2015
- Diskrete Strukturen [10-201-1602] [Inf.Bachelor: 3. Sem]
- Vorlesung: (A. Maletti) dienstags 17:15 - 18:45, Hs 2
- Übung: (C. Röhl) montags 11:15 - 12:45, SG 3-10
- Übung: (T. Weidner) montags 15:15 - 16:45, SG 3-10
- Übung: (C. Gamm) dienstags 13:15 - 14:45, SG 3-13
- Übung: (P. Leupold) dienstags 15:15 - 16:45, SG 3-10
- Übung: (D. Heusel) mittwochs 13:15 - 14:45, SG 3-14
- Übung: (C. Gamm) freitags 11:15 - 12:45, SG 3-14
- Logik [10-201-2108-1] [Inf.Bachelor, LA.SInf-Gym, LA.SInf-MS: 1. Sem; LA.SMath-GS, LA.SMath-MS: 5. Sem]
- Vorlesung: (A. Maletti) freitags 11:15 - 12:45, Hs 5
- Übung: (K. Quaas) mittwochs (A-Woche) 9:15 - 10:45, SG 3-10
- Übung: (K. Quaas) mittwochs (B-Woche) 9:15 - 10:45, SG 3-10
- Übung: (K. Quaas) freitags (A-Woche) 9:15 - 10:45, SG 3-12
- Übung: (K. Quaas) freitags (B-Woche) 9:15 - 10:45, SG 3-12
- Automatentheorie [10-202-2106] [Inf.Master: ab 1. Sem; LA.SInf-MS: ab 7. Sem]
- Vorlesung: (M. Droste) dienstags 9:15 - 10:45, Hs 19
- Vorlesung: (M. Droste) mittwochs 11:15 - 12:45, Hs 19
- Übung: (P. Leupold, T. Weidner) mittwochs 13:15 - 14:45, P-801
- Tree Automata [10-202-2112] [Inf.Master: ab 1. Sem]
- Vorlesung: (A. Maletti) mittwochs 11:15 - 12:45, SG 3-12
- Übung: (A. Maletti) mittwochs 13:15 - 14:45, SG 3-11
- Bachelorseminar Automatentheorie [10-201-2010, 10-201-2116] [Inf.Bachelor: ab 5. Sem]
- Seminar: (M. Droste) donnerstags 9:15 - 10:45, P-901
- Masterseminar Automatentheorie [10-202-2011, 10-202-2115] [Inf.Master: ab 1. Sem]
- Seminar: (M. Droste) donnerstags 11:15 - 12:45, P-901
Durchgeführte Lehrveranstaltungen:
[WS 14/45]
[SS 14]
[WS 13/14]
[SS 13]
[WS 12/13]
[SS 12]
[WS 11/12]
[SS 11]
[WS 10/11]
[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]