[TU Dresden]

Ausgewählte Themen der Theoretischen Informatik

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Dr. M. Sturm, Dr. M. Lippmann

Das Proseminar "Ausgewählte Themen der Theoretischen Informatik" ist ein Angebot für Studierende im Studiengang Bachelor Informatik (Modul INF-B-610, INF-B-510, INF-B-520) und im Diplomstudiengang Informatik (Modul INF-D-520).

Voraussetzung

Es werden keine speziellen Kenntnisse vorausgesetzt. Wünschenswert ist jedoch, dass der Studierende Interesse speziell an der Theoretischen Informatik hat (z.B. an der inhaltlichen Ausrichtung der Lehrveranstaltungen "Formale Systeme" und "Theoretische Informatik und Logik").

Ziel und Aufbau des Proseminars

Im Zentrum des Proseminars stehen ausgewählte Kapitel des Buches "Introduction to the Theory of Computation" von Michael Sipser, CENGAGE Learning, 2013 (ISBN-13: 978-1-133-18781-3).

Im Seminar wird das vom Studierenden gewählte Thema mithilfe der Literaturquelle selbstständig erarbeitet und das neu angeeignete Wissen in einem Vortrag vor den anderen Teilnehmern präsentiert. Dabei kommt es insbesondere darauf an, das erworbene Wissen mit eigenen Worten zu transportieren. Wenn der Umfang des Themas es nicht ausschließt, ist auch eine Gruppenarbeit möglich.

Der Vortrag im Umfang von 30 Minuten (+ 15 Minuten Diskussion) soll demonstrieren, dass der Inhalt des gewählten Kapitels verstanden wurde. Für den erfolgreichen Scheinerwerb ist es notwendig, dass sich der Studierende aktiv an den Diskussionen zu anderen Vorträgen im Proseminar beteiligt.

Im Vorfeld der Vorträge werden Ratschläge und Anregungen, wie man einen guten Vortrag hält und einer anschliessenden Diskussion ebenso gut standhält, vermittelt.

Informationen zur Einführungsveranstaltung

Die erste Veranstaltung mit einer Einführung in das Proseminar findet am 17.10.16, 2.DS (9.20 Uhr) im Raum APB 3027 statt. Interessenten, die diesen Termin nicht wahrnehmen können, melden sich bitte persönlich oder per Mail.

Vorgesehene Themen

In Kürze erfolgt an dieser Stelle die Veröffentlichung der vorgesehenen Kapitel aus dem Buch.

Weitere Organisation

Die Studierenden werden betreut von Dr. Monika Sturm und Dr. Marcel Lippmann.

Die Abschlussveranstaltungen mit den Vorträgen zum Proseminar findet in den letzten zwei Lehrveranstaltungswochen im Wintersemester im Raum APB 3027 statt.

Literatur

Die oben erwähnte Literatur kann über den WebOPAC in der SLUB gefunden werden. Exemplare zum Ausleihen sind vorhanden. Begleitendes Skript zur Theorie-Vorlesung im Grundstudium:

MSturm 26.09.2016