Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2016
-
Semantik von Programmiersprachen [10-201-2105, 10-202-2107] [Inf.Bachelor: 6. Sem, Inf.Master: 2.Sem]
- Vorlesung: (Manfred Droste) mittwochs 9:15 - 10:45 Uhr, P-801
-
Übung: (Vitaly Perevoshchikov) montags 13:15 - 14:45 Uhr (A-Woche), P-801
Erste Übung: 11.04.2016
-
Nebenläufige Prozesse: Spurtheorie [10-201-2105, 10-202-2107] [Inf.Bachelor: 6. Sem, Inf.Master: 2. Sem]
- Vorlesung: (Manfred Droste) donnerstags 13:15 - 14:45 Uhr, SG 3-14
-
Übung: (Vitaly Perevoshchikov) montags 13:15 - 14:45 Uhr (B-Woche), P-801
Erste Übung: 18.04.2016
-
Seminar Automatentheorie für Bachelor [10-201-2010, 10-201-2116] [Inf.BDH: 6. Sem, Inf.Bachelor: 6. Sem]
- Seminar: (Manfred Droste) donnerstags 9:15 - 10:45 Uhr, SG 3-10
-
Seminar Automatentheorie für Master [10-202-2011, 10-202-2115] [Inf.Bio: 4. Sem, Inf.Master: 2. und 4. Sem]
- Seminar: (Manfred Droste) mittwochs 11:15 - 12:45 Uhr, P-801
-
Graduiertenkolleg QuantLA [10-202-2011, 10-202-2115] [Inf.Master: 2. Sem]
- Seminar: (Manfred Droste) dienstags 13:00 - 16:45 Uhr, Felix-Klein-Hs P-501
-
Berechenbarkeit [10-201-2009] [Inf.Bachelor: 4. Sem, LA.SInf-Gym: 6. Sem]
- Vorlesung: (Matthias Thimm) dienstags (ZF) 11:15 - 12:45 Uhr, Hs 5
-
Übung: (Doreen Heusel, Ringo Baumann, Hannes Straß) montags (A-Woche) 9:15 - 10:45 Uhr, SG 3-14
-
Übung: (Doreen Heusel, Ringo Baumann, Hannes Straß) montags (B-Woche) 9:15 - 10:45 Uhr, SG 3-14
-
Übung: (Doreen Heusel, Ringo Baumann, Hannes Straß) freitags (A-Woche) 13:15 - 14:45 Uhr, SG 3-14
-
Übung: (Doreen Heusel, Ringo Baumann, Hannes Straß) freitags (B-Woche) 13:15 - 14:45 Uhr, SG 3-14
-
Lineare Algebra für Informatiker und Lehramt [10-201-1015, 10-MAT-BG1011] [Inf.Bachelor: 2. Sem, LA.SMath-GS: 2. Sem, LA.SMath-MS: 2 Sem]
- Vorlesung: (Agnes Radl) montags (ZL) 13:15 - 14:45 Uhr, Hs 3
- Vorlesung: (Agnes Radl) dienstags (ZL) 7:30 - 9:00 Uhr, Hs 3
- Hörsaalübung: (Holger Wuschke) montags 15:15 - 16:45 Uhr, Felix-Klein-Hs P-501
- Übung: (Philipp Reiniger) dienstags 9:15 - 10:45 Uhr, SG 3-12
- Übung: (Parvaneh Babari) dienstags 9:15 - 10:45 Uhr, P-701
- Übung: (Holger Wuschke) dienstags 11:15 - 12:45 Uhr, SG 3-11
- Übung: (Claudius Röhl) mittwochs 7:30 - 9:00 Uhr, A-314
- Übung: (Tobias Hertel) mittwochs 13:15 - 14:45 Uhr, P-801
- Übung: (Patricia Reuther) donnerstags 15:15 - 16:45 Uhr, SG 3-14
- Übung: (Patricia Reuther) donnerstags 17:15 - 18:45 Uhr, SG 3-14
Durchgeführte Lehrveranstaltungen
[SS 16]
[WS 15/16]
[SS 15]
[WS 14/15]
[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]