|
Modulbezeichnung (engl.):
Theoretical Informatics Seminar |
|
Code: DFI-STI |
|
4V (4 Semesterwochenstunden) |
6 |
Studiensemester: 2 |
Pflichtfach: ja |
Arbeitssprache:
Deutsch |
Prüfungsart:
Probevortrag, Vortrag
[letzte Änderung 05.11.2016]
|
DFI-STI (P610-0285) Informatik, Master, ASPO 01.10.2018
, 2. Semester, Pflichtfach
KI848 Kommunikationsinformatik, Master, ASPO 01.04.2016
, 2. Semester, Wahlpflichtfach, informatikspezifisch
KIM-STI (P221-0058) Kommunikationsinformatik, Master, ASPO 01.10.2017
, 2. Semester, Wahlpflichtfach, informatikspezifisch
PIM-STI (P221-0058) Praktische Informatik, Master, ASPO 01.10.2011
, 2. Semester, Pflichtfach
PIM-STI (P221-0058) Praktische Informatik, Master, ASPO 01.10.2017
, 2. Semester, Pflichtfach
|
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtumfang des Moduls beträgt bei 6 Creditpoints 180 Stunden (30 Std/ECTS). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 135 Stunden zur Verfügung.
|
Empfohlene Voraussetzungen (Module):
Keine.
|
Als Vorkenntnis empfohlen für Module:
|
Modulverantwortung:
Prof. Dr. Maximilian Altmeyer |
Dozent/innen: Prof. Dr. Maximilian Altmeyer
[letzte Änderung 09.08.2020]
|
Lernziele:
Die Studierenden können eigenständig den Inhalt eines anspruchsvollen wissenschaftlichen Themas der Theoretischen Informatik erschließen, aufbereiten und mündlich in einer vorgegebenen Zeit verständlich wiedergeben. Zudem sind sie in der Lage, sich aktiv an einer fachlichen Diskussion zu beteiligen und Vorträge, bei denen sie als Zuhörer anwesend waren, prägnant zusammenzufassen [OE+1+0+0+0+0+0=1]
[letzte Änderung 25.10.2017]
|
Inhalt:
Fortgeschrittene Themen aus den Berechenbarkeitstheorie, Komplexitätstheorie und Algorithmen, z.B. Probabilistische Algorithmen, Alternierende Automaten, Zero-Knowledge-Beweise, Approximationsalgorithmen.
[letzte Änderung 18.08.2016]
|
Weitere Lehrmethoden und Medien:
Probevortrag, Vortrag durch Studierende, Diskussion, Zusammenfassung durch Zuhörer
[letzte Änderung 25.10.2017]
|
Literatur:
Berstel, Boasson, Carton, Fagnot: Minimization of automata, http://arxiv.org/abs/1010.5318 Berstel, Perrin, Reutenauer: Codes and Automata, Cambridge University Press 2010. Cormen, Leiserson, Rivest: Introduction to Algorithms, The MIT Press 1997. Hopcroft, Ullman: Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Addison-Wesley, 1994. Moore, Christopher; Mertens, Stefan: The Nature of Computation, Oxford University Press 2011. Motwani, Rajeev; Raghavan, Prabhakar: Randomized Algorithms, Cambridge University Press 2007. Sipser: Introduction to the Theory of Computation, Second Edition, Thomson 2006. Vazirani, Vijay: Approximation Algorithms, Springer 2003. und weitere Artikel
[letzte Änderung 18.08.2016]
|