Dr. Monika Sturm, Dr. Anni-Yasmin Turhan
Das Proseminar "Perlen der Theoretischen Informatik" ist ein Angebot
für Studierende im Studiengang Bachelor Informatik (INF-B-610) und im Diplomstudiengang Informatik (Studienordnung 2010) (INF-D-520).
Die Liste der noch nicht vergebenen Themen ist in den Räumen INF 3022 bzw. INF 3023 einsehbar. Die Auswahl eines Themas kann bis zum 10.11.2011 erfolgen. Rücksprachen per eMail sind ebenfalls möglich.
Voraussetzung
Es werden keine speziellen Kenntnisse vorausgesetzt. Wünschenswert ist jedoch, dass der Studierende Interesse speziell an der Theoretischen Informatik hat (z.B. über den Inhalt der Lehrveranstaltung "Formale Systeme").
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 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 13.10.2011, 3.DS (11:10 Uhr) im Raum E3027 statt.
Die Liste der noch nicht vergebenen Themen ist in den Räumen INF 3022 bzw. INF 3023 einsehbar. Die Auswahl eines Themas kann bis zum 10.11.2011 erfolgen. Rücksprachen per eMail sind ebenfalls möglich.
Angebotene Themen
- Suchen und Konstruieren durch Verdoppeln
- Theoretische Aspekte neuronaler Netzwerke
- Interaktive Beweise
- Molekulare Bioinformatik
- Exponentielle untere Schranke für die Länge von Resolutionsbeweisen
- Das Äquivalenzproblem für LOOP(1) und LOOP(2) Programme
- Spektralproblem und deskriptive Komplexitätstheorie
- Das zweite LBA-Problem
- Kolmogoroff-Komplexität, universelle Wahrscheinlichkeitsverteilung, worst-case vs. average-case
Weitere Organisation
Die Studierenden werden betreut von
Dr. Monika Sturm
und
Dr. Anni-Yasmin Turhan.
Die Abschlussveranstaltung mit den Vorträgen zum Proseminar findet in der letzten Lehrveranstaltungswoche des Wintersemesters,
(d.h. in der Woche vom 30.01.2012 - 03.01.2012) 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:
- F. Baader. Formale Systeme (Skript zur Vorlesung). TU Dresden, 2010
A. Turhan,
M. Sturm
![[TU Dresden]](tu-logo.gif){kind=logo}