TU Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie



Hauptseminar "Unentscheidbare Probleme aus der Praxis" im SS 2003



Eine Vorbesprechung
findet am Dienstag, 8.04.03 um 11:10 (3. DS) in Raum 250 statt. Eine Teilnahme an dieser Vorbesprechung ist verpflichtend. Wer Interesse an diesem Seminar hat, aber nicht zur Vorbesprechung kommen kann, meldet sich bitte bis 7.04.03 per email.

Studiengang
Diplomstudiengang Informatik (Diplom- und Bakkalaureatsabschluß), ab 5. Semester

Art der Lehrveranstaltung
Wahlpflichtveranstaltung (-/2/-)

Erwünschte Vorkenntnisse
Pflichtvorlesung Grundlagen der Theoretischen Informatik

Thema des Hauptseminars
In der Regel lernt man im Informatikstudium nur recht künstliche unentscheidbare Probleme kennen - zum Beispiel das Halteproblem, das für die Praxis nur beschränkt relevant ist. Die Ursache dafür ist aber nicht, daß unentscheidbare Probleme in der Praxis nicht auftauchen: In diesem Seminar werden wir verschiedene unentscheidbare Probleme aus Anwendungen kennenlernen. Die betrachteten Anwendungen kommen aus dem Bereich der Betriebssystemsicherheit, künstlichen Intelligenz, Logik, Spezifikation und Programmanalyse.
Es können selbstverständlich auch eigene Themenvorschläge gemacht werden.

Zielstellung des Hauptseminars
Den Teilnehmern soll die Bedeutung, die die theoretische Informatik für praktische Fragestellungen hat, verdeutlicht werden.
Die Studierenden sollen im Hauptseminar lernen, sich eigenständig in ein Thema einzuarbeiten, eine wohlstrukturierte Ausarbeitung anzufertigen und einen verständlichen Vortrag zu halten. Tips zum Anfertigen einer Ausarbeitung und zur Vorbereitung eines Vortrags sind elektronisch erhältlich.

Aufgaben der Teilnehmer
Während des ganzen Seminars (Fragen zum Thema, zur Ausarbeitung, Gestaltung des Vortrags, etc.) werden die Teilnehmer von ihren Betreuern unterstützt - wenn sie dies wünschen. Die Zeitplanung, Vereinbarung von Terminen und das Stellen von Fragen an ihre Betreuer gehört zu den Aufgaben der Teilnehmer. Die Teilnehmer sollen sich, unterstützt durch entsprechende Betreuer, selbständig ein Thema aus einer noch folgenden Liste erarbeiten. Dazu gehört das Verständnis der entsprechenden Fragestellungen und der Wege, die zu ihrer Beantwortung verfolgt wurden. Jeder Teilnehmer erstellt eine ca. 12 seitige, lesbare Ausarbeitung, deren Form den Standards wissenschaftlicher Arbeiten entspricht (auch hier helfen wir gerne weiter). Schließlich stellt jeder Teilnehmer in einem Vortrag sein Thema den anderen Teilnehmer verständlich dar.
Weiteren Bedingungen, Spielregeln und zu erbringende Leistungen sind themenabhängig und daher von den Betreuern der jeweiligen Themen zu erfahren (zum Beispiel kann eine Literaturrecherche zu weiteren aktuellen Veröffentlichungen nötig sein).

Lehrbeauftragte
Prof. Franz Baader, Dr. Ulrike Sattler,
Lehrstuhl für Automatentheorie