Forschungsprojekte Grundlagen im WS 2014/2015

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

Die Einführungsveranstaltung

findet am 21. Oktober um 09:20 im Raum 3027 statt. Falls Ihnen eine Teilnahme nicht möglich ist, nehmen Sie bitte Kontakt mit Anni-Yasmin Turhan auf.

Position im Studienplan

Für der Master in Informatik wird dieses Forschungsprojekt im Modul INF-PM-FPG (im Umfang von 8 SWS) angeboten und es gibt 12 Punkte dafür.

Voraussetzungen

Kenntnisse der Aussagenlogik sind notwendig.
Kenntnisse aus folgenden Vorlesungen sind hilfreich:
- Formale Systeme
- Theoretische Informatik und Logik
- Description Logics

Organisation

In einer Einführungsveranstaltung (siehe oben) werden verschiedene Themen vorgestellt. Die interessierten Studenten können dann ein Thema zur Bearbeitung auswählen. Studenten, die an einer Teilnahme am Forschungspraktikum interessiert sind, jedoch an der Einführungsveranstaltung nicht teilnehmen können, sollten Anni-Yasmin Turhan kontaktieren. Jedem Studenten wird abhängig vom gewählten Thema ein Tutor zugewiesen. Während des Semesters werden regelmäßige Treffen des Studenten und seines Tutors abgehalten. Am Ende des Semesters präsentiert der Student die Ergebnisse des Forschungsprojektes in einem Vortrag.

Sprache

Die Abschlusspräsentation kann in deutsch oder englisch gehalten werden.

Pflichten der Teilnehmer

Die Teilnehmer sollten die relevante Literatur lesen und diese mit ihrem Tutor diskutieren, um mit dem gewählten Thema vertraut zu werden. Die ggf. nötige Implementierungsarbeit (falls vorhanden) sollte in einer strukturierten Weise ausgeführt werden, und muss ordentlich dokumentiert werden. Falls ein Thema von zwei oder mehr Studenten bearbeitet wird, dann ist das Aneignen von Fähigkeiten zur Gruppenarbeit ein weiteres Ziel des Praktikums. Die Ergebnisse des Forschungsprojekts müssen in einem Bericht (~25 Seiten) beschrieben und in einem Vortrag (~30 Minuten) am Semesterende präsentiert werden.
Weiterhin sind die Teilnehmer verpflichtet, genügend Zeit für die Durchführung des Forschungsprojektes zu reservieren. Die unbedingte Frist zur Beendigung des Forschungspraktikums ist der Beginn des folgenden Semesters, d.h. die Bearbeitungszeit für das Praktikums beträgt ein Semester inklusive der vorlesungsfreien Zeit. Es obliegt dem teilnehmenden Studenten, das Praktikum rechtzeitig zu beginnen und Termine mit dem Tutor für regelmäßige Besprechungen während des Semesters zu vereinbaren.

Themen

Bei der Themenauswahl berücksichtigen Sie bitte Ihr vorhandenes Wissen. Falls Sie bespielsweise ein Thema im Fachgebiet Beschreibungslogik wählen möchten, dann sollten Sie idealerweise an der Vorlesung "Description Logics" teilgenommen haben bevor Sie das Praktikum beginnen.

Die aktuelle Themen können hier eingesehen werden.