<?xml version="1.0" encoding="ISO-8859-1" standalone="yes" ?>
<document>
<title>Seminar Theoretische Informatik</title>
<cid>PIM-STI</cid>
<sapsubmodule>P221-0058</sapsubmodule>
<bkey>pim2</bkey>
<ctypes>
<hours>4</hours>
<type>V</type>
</ctypes>
<cp>6</cp>
<semester>2</semester>
<mandatory>ja</mandatory>
<language>Deutsch</language>
<exam>Probevortrag, Vortrag 30 min.
</exam>
<curriculum>
<curriculum_entry>
<cid>DFI-STI</cid>
<branch>Informatik</branch>
<semester>2</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>KI848</cid>
<branch>Kommunikationsinformatik</branch>
<semester>2</semester>
<mandatory_tag>Wahlpflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>KIM-STI</cid>
<branch>Kommunikationsinformatik</branch>
<semester>2</semester>
<mandatory_tag>Wahlpflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>PIM-STI</cid>
<branch>Praktische Informatik</branch>
<semester>2</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>PIM-STI</cid>
<branch>Praktische Informatik</branch>
<semester>2</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>TIM-STI</cid>
<branch>Technische Informatik</branch>
<semester>2</semester>
<mandatory_tag>Wahlpflichtfach</mandatory_tag>
</curriculum_entry>
</curriculum>
<workload>
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 6 Creditpoints 180 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 135 Stunden zur Verfügung.
</workload>
<prerequisites>
<prerequisite>
<pfcid>PIM-BK</pfcid>
<pftitle>Berechenbarkeits- und Komplexitätstheorie</pftitle>
</prerequisite>
</prerequisites>
<prerequisitesfor>
</prerequisitesfor>
<convenor>Prof. Dr. Maximilian Altmeyer</convenor>
<convenor-person-key>mat</convenor-person-key>
<lecturers>
<lecturer>Prof. Dr. Maximilian Altmeyer</lecturer>
<lecturer-person-key>mat</lecturer-person-key>
</lecturers>
<objectives>Die Studierenden können den Inhalt eines anspruchsvollen wissenschaftlichen Themas der Theoretischen Informatik eigenständig erschließen, strukturieren und didaktisch aufbereiten. Die Studierenden können dieses Thema in einer vorgegebenen Zeit mündlich verständlich und adressatengerecht präsentieren. Die Studierenden können sich aktiv an einer fachlichen Diskussion beteiligen (Fragen stellen und beantworten, Positionen begründen) und gehört gehaltene Vorträge prägnant zusammenfassen.
</objectives>
<content>Fortgeschrittene Themen aus den Berechenbarkeitstheorie, Komplexitätstheorie und Algorithmen, z.B. Probabilistische Algorithmen, Alternierende Automaten, Zero-Knowledge-Beweise, Approximationsalgorithmen.</content>
<media>Probevortrag, Vortrag durch Studierende, Diskussion, Zusammenfassung durch Zuhörer</media>
<literature>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
</literature>
<offered>
<semshort>SS 2025</semshort>
<semshort>SS 2024</semshort>
<semshort>SS 2023</semshort>
<semshort>SS 2022</semshort>
<semshort>SS 2021</semshort>
<semshort>SS 2020</semshort>
<semshort>SS 2019</semshort>
<semshort>SS 2018</semshort>
</offered>
<moduldb-query>Mon May 11 21:00:53 CEST 2026, CKEY=psti, BKEY=pim2, CID=[?], LANGUAGE=de, DATE=11.05.2026</moduldb-query>
</document>
