Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2017
- Berechenbarkeit [10-201-2009] [Inf.Bachelor: 4. Sem, LA.SInf-Gym: 6. Sem]
- Vorlesung: (Andreas Maletti) freitags 11:15 - 12:45, Hs 5
- Übung: dienstags 9:15 - 10:45 (A-Woche), SG 3-13
- Übung: dienstags 9:15 - 10:45 (B-Woche), SG 3-13
- Übung: donnerstags 13:15 - 14:45 (A-Woche), SG 3-11
- Übung: donnerstags 13:15 - 14:45 (B-Woche), SG 3-11
- Semantik von Programmiersprachen [KM Angewandte Automatentheorie] [KM Formale Modelle] [10-202-2107] [10-201-2105] [Inf.Master: 2.Sem, Inf.Bachelor: 6.Sem]
- Vorlesung: (Manfred Droste) mittwochs 9:15 - 10:45 Uhr, P-801
- Übung: (Tobias Heindel) freitags 13:15 - 14:45 Uhr (A-Woche), SG 1-11
- Algebraische Automatentheorie [KM Angewandte Automatentheorie] [KM Formale Modelle] [10-202-2107] [10-201-2105] [Inf.Master: 2.Sem, Inf.Bachelor: 6.Sem]
- Vorlesung: (Manfred Droste) donnerstags 13:15 - 14:45, SG 3-14
- Übung: (Tobias Heindel) freitags 15:15 - 16:45 (B-Woche), SG 1-11
- Kryptographie [Aktuelle Trends der Informatik] [10-202-2012] [Inf.Master: 2.Sem]
- Vorlesung: (Claus Diem) dienstags 13:15 - 14:45, SG 3-13
- Übung: (Claus Diem) mittwochs 13:15 - 14:45, SG 3-13
- Bachelorseminar Automatentheorie [Bachelorseminar Informatik]
[Seminarmodul Theoretische Informatik]
[10-201-2116] [Inf.Bachelor: 5.Sem, Inf.Bachelor: 6.Sem]
- Seminar: donnerstags 9:15 - 10:45, SG 3-10
- Die Themen des Bachelorsseminars werden sich mit der Max-Plus Struktur beschäftigen. Diese Struktur dient als Grundlange zur Lösung vieler Optimierungsprobleme, z.b. der Optimierung von Zugfahrplänen. Dazu wird lineare Algebra und Graphentheorie verwendet.
Die einzelnen Themen sind Kapiteln des Buchs "Max-Plus at Work" von Bernd Heidergott, Geert van Olsder und Jacob van der Woude (ISBN: 978-0-691-11763-8) entnommen.
- Die Termine sind hier zu finden.
- Masterseminar Automatentheorie [Masterseminar Informatik]
[Seminarmodul Automatentheorie]
[10-202-2011; 10-202-2115] [Inf.Master]
- Seminar: mittwochs 11:15 - 12:45, P-801
- Die Termine sind hier zu finden.
- 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
Durchgeführte Lehrveranstaltungen
[WS 16/17]
[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]