Seminar Highlights der Theoretischen Informatik

Veranstalter: Prof. Carsten Lutz

S2, Wahlbereich Master-Ergänzung, Theorische Informatik

Vorbesprechung: Mittwoch, 16.10.2014, 14:15-16:45 Cartesium 0.01
Ohne Teilnahme an der Vorbesprechung kann das Seminar nicht belegt werden.

In diesem Leitfaden finden sich eine Beschreibung des Ablaufs sowie Hinweise zur erfolgreichen Teilnahme.

Kurzbeschreibung

In diesem Seminar werden aufbauend auf den Einführungsveranstaltungen "Theoretische Informatik I + II" ausgewählte Themen aus verschiedenen Teilgebieten der Theoretischen Informatik behandelt, wie zum Beispiel der Theorie der formalen Sprachen und der Komplexitätstheorie. Es handelt sich dabei um klassische und weithin bekannte Resultate, die Meileinsteine in ihrem jeweiligen Gebiet darstellen und oft besonders elegante und innovative Beweise haben. Behandelt werden beispielsweise die folgenden Themen: Die Studierenden werden sich mit je einem Resultat näher auseinandersetzen, es in seinen jeweiligen Kontext einordnen und die dazugehörigen Beweistechniken kennenlernen.

Voraussetzungen / Vorkenntnisse

Theoretische Informatik I + II

Organisation

Die Teilnehmer wählen während der Vorbesprechung ein Thema, das sie in einer Zweiergruppe bearbeiten. Zu jedem Thema gibt es ein Kapitel in den oben genannten Büchern, das die Grundlage der Seminararbeit darstellt. Zusätzlich kann es erforderlich sein, einen oder mehrere Artikel der wissenschaftlichen Originalliteratur hinzuzuziehen. Die relevante Literatur soll von den bearbeitenden Teilnehmern zunächst gelesen und verstanden werden, wobei ihnen ein Betreuer aus der AG zur Seite steht. Jede Gruppe fertigt dann eine ca. 15-seitige Ausarbeitung über das gewählte Thema an, deren Form den Standards wissenschaftlichen Arbeitens genügt. Am Ende des Semesters findet ein Blockseminar statt, in dem jede Gruppe ihr Thema in einem Vortrag den anderen Teilnehmern vorstellt. Die Zeitplanung und das Vereinbaren von Terminen mit dem Betreuer gehört zu den Aufgaben der Teilnehmer. Mehr Information und Tipps zur erfolgreichen Teilnahme gibt es in diesem Leitfaden.

Ein Teil der Betreuung wird auf englisch (oder türkisch) stattfinden.

Terminplan

bis 25.10. Erstes Treffen mit dem Betreuer
25.10.–24.11. Literatur lesen und verstehen, Unklarheiten mit dem Betreuer diskutieren
spätestens 25.11. Beginnen, an der Hausarbeit zu schreiben
4.12. Treffen mit allen Seminarteilnehmern; Fragestunde und erste, informelle Präsentation
20.12. Abgabe der fertigen Hausarbeit
6.1. Rückgabe der korrigierten Hausarbeit durch den Betreuer
20.1. Abgabe der endgültigen Hausarbeit und Vorlage der ersten Version der Folien für den Vortrag
ca. 29.1. Vortrag

AG Theorie der künstlichen Intelligenz