[TU Dresden]

Perlen der Theoretischen Informatik

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

Prof. Franz Baader (verantw. HSL), Dr. Anni-Yasmin Turhan, Dr. Monika Sturm

Das Proseminar "Perlen der Theoretischen Informatik" ist ein Angebot für Studenten des Studienganges Informatik, die im Grundstudium nach der Studienordnung 2004 studieren.

Nach § 5 dieser Studienordnung dient das Seminar dazu, die Fähigkeit des Studenten zu entwickeln, sich vorwiegend auf der Grundlage von Literatur, Dokumentationen und sonstigen Unterlagen über einen Problemkreis zu informieren, das Erarbeitete vorzutragen und zu vertreten.

Voraussetzung

Es werden keine speziellen Kenntnisse vorausgesetzt. Wünschenswert ist jedoch, dass der Student Interesse speziell an der Theoretischen Informatik hat (z.B. über die Lehrveranstaltung "Grundlagen der Theoretischen Informatik").

Ziel und Aufbau des Proseminars

Im Zentrum des Proseminars stehen die beiden Bücher "Perlen der Theoretischen Informatik" von Uwe Schöning (BI Wissenschaftsverlag 1995) und "Highlights aus der Informatik" von Ingo Wegener (Springer-Verlag 1996).

Im Seminar werden ausgewählte Kapitel aus diesen beiden Quellen 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 Kapitels 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 Student aktiv an den Diskussionen anderer Vorträge 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 am 19.04.2010

Die erste Veranstaltung mit einer Einführung in das Proseminar findet am 19.04.2010, 2.DS (9:20 Uhr) im Raum E001 statt.

Angebotene Themen

Weitere Organisation

Die Studenten werden betreut von Dr. Anni-Yasmin Turhan und Dr. Monika Sturm.

Die Abschlussveranstaltung zum Proseminar findet am 12.07.2010, 2.DS (9:20 Uhr) im Raum E001 statt.

Wann Sprecher Thema Folien bis Tutor
Entfällt!
 Carl Schönbach Neuronale Netzwerke 21.06.10 M. Sturm
12.07.2010
 Paul Lätsch Interaktive Beweise
''
 A.-Y. Turhan
Entfällt!
 Lukas Höhne Molekulare Bioinformatik 28.06.2010 M. Sturm
12.07.2010
 Andre Weddig Exponentielle untere Schranke für die Länge von Resolutionsbeweisen
''
A.-Y. Turhan


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:

Letzte Änderung: Thursday, 01-Jul-2010 14:32:07 CEST