Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2018
- Logik und Modelltheorie [Inf.Master: 2. Sem., Inf.Bachelor: 6. Sem., Math.Diplom 4.-6. Sem.]
- Vorlesung: (Manfred Droste) donnerstags 13:15 - 14:45, SG 2-14
- Übung: (Stefan Dück) montags 13:15 - 14:45 (B-Woche), P-801
Es werden die Grundlagen der mathematischen Logik und Modelltheorie
vorgestellt.
Diese Veranstaltung ist sowohl für Informatik-
wie für Mathematikstudenten geeignet.
- Nebenläufige Prozesse: Spurtheorie [Inf.Master: 2. Sem., Inf.Bachelor: 6. Sem.]
- Vorlesung: (Manfred Droste) freitags 9:15 - 10:45, SG 2-14
- Übung: (Stefan Dück) montags 13:15 - 14:45 (A-Woche), P-801
- Berechenbarkeit [Inf.Bachelor: 4.Sem, LA.SInf-Gym: 6.Sem]
- Vorlesung: (Andreas Maletti) donnerstags 17:15 - 18:45, Hs 5
- Übung: (Gustav Grabolle) dienstags 9:15 - 10:45 (A-Woche), SG 3-11
- Übung: (Gustav Grabolle) dienstags 9:15 - 10:45 (B-Woche), SG 3-11
- Übung: (Mirko Schulze) mittwochs 9:15 - 10:45 (A-Woche), SG 3-14
- Übung: (Mirko Schulze) mittwochs 9:15 - 10:45 (B-Woche), SG 3-14
- Übung: (Gustav Grabolle) donnerstags 9:15 - 10:45 (A-Woche), SG 3-14
- Übung: (Gustav Grabolle) donnerstags 9:15 - 10:45 (B-Woche), SG 3-14
- Seminar Automatentheorie (Bachelor) [Bachelorseminar Informatik, Seminarmodul Theoretische Informatik]
- Seminar: donnerstags 11:15 - 12:45, SG 3-12
- Seminar Automatentheorie (Master) [Masterseminar Informatik, Seminarmodul Automatentheorie]
- Seminar: mittwochs 11:15 - 12:45, P-801
- Graduiertenkolleg QuantLA [Inf.Master: 2. Sem]
- Seminar: (Manfred Droste) dienstags 12:45 - 15:45 Uhr, Felix-Klein-Hs P-501
- Mathematische Grundlagen der Kryptographie mit öffentlichen Schlüsseln [Inf.Master: 2. Sem]
- Vorlesung: (Claus Diem) donnerstags 11:15 - 12:45, SG 3-13
Hinweis: Im WS 2018/19 hat Prof. Droste ein Forschungssemester.
Seminare finden wie gewohnt statt.
Durchgeführte Lehrveranstaltungen
[WS 17/18]
[SS 17]
[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]