Dr. M. Sturm, Dipl.-Inf. 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 (Studienordnung 2010) (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 Artikel aus bekannten Journalen und Büchern.
Im Seminar wird das vom Studierenden gewählte Thema mithilfe der 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 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 21.10.13, 3.DS (11.10 Uhr) im Raum INF 3027 statt.
Vorgesehene Themen
In Kürze erfolgt an dieser Stelle die Veröffentlichung der vorgesehenen Themen.
- String-Matching-Algorithmen (aus Dan Gusfield "Algorithms on Strings, Trees and Sequences", Cambridge University Press, 1997)
- Das Äquivalenzproblem für LOOP(1) und LOOP(2) Programme (aus Uwe Schöning "Perlen der Theoretischen Informatik", BI-Wissenschaftverlag, 1995)
- Untere Schranke für die Länge von Resolutionsbeweisen (aus Uwe Schöning "Perlen der Theoretischen Informatik", BI-Wissenschaftverlag, 1995)
- Das Messbecher-Problem (P. Boldi, M. Santini and S. Vigna "Measuring with Jugs", Theoretical Computer Science, Volume 282, Issue 2, Pages 259-270, 2002)
- Komplexitätstheorie der Adventure-Spiele (W. Brauer, M. Holzer, B. König, and S. Schwoon "The theory of finite-state adventures". EATCS Bulletin, 79:230-237, February 2003)
- Das Meisterschaftsproblem (T. Bernholt, A. Gülich, T. Hofmeister and N.Schmitt "Football Elimination is Hard to Decide Under the 3-Point-Rule", Proceedings of Symposium on Mathematical Foundations of Computer Science, Pages 410-418, 1999)
- SAT-Solver (aus M. Huth, M. Ryan "LOGIC IN COMPUTER SCIENCE -
Modelling and Reasoning about Systems", Cambridge University Press, 2004)
- u.a.
Weitere Organisation
Die Studierenden werden betreut von
Dr. Monika Sturm
und
Dipl.-Inf. Marcel Lippmann.
Die Abschlussveranstaltungen mit den Vorträgen zum Proseminar findet in den letzten zwei Lehrveranstaltungswochen im Wintersemester
(d.h. am 27.01.14 und 03.02.14 jeweils 3.DS) im Raum INF 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:
- F. Baader. Formale Systeme (Skript zur Vorlesung). TU Dresden, 2010
MSturm 10.09.2013
![[TU Dresden]](tu-logo.gif){kind=logo}