Proseminar "Theoretische Informatik"

Prof. Dr. Christel Baier
SWS: (0/2/0), auf Deutsch

Veränderung der Lehrveranstaltung wegen COVID-19

Aufgrund der aktuellen COVID-19 Ausbrüchen hat die Universitätsleitung entschieden, alle Präsenzveranstaltungen bis mindestens 04.Mai 2020 abzusagen (Stand 19.März). Als Ersatz für die Vorlesungen und Übungen werden zu Beginn des Semester (in der Woche vom 06.April) bis zum Beginn des Unterrichts als Präsenzveranstaltung Onlinekurs via OPAL zur Verfügung gestellt.

Bitte informieren Sie sich über die aktuellen Entwicklungen und Entscheidungen der Universität unter https://tu-dresden.de/corona und https://tu-dresden.de/studium/im-studium/coronavirus/

Bitte halten Sie sich auf den aktuellen Stand, indem Sie diese Seite und https://tu-dresden.de/corona regelmäßig besuchen.
 

Inhalt

Das Proseminar richtet sich an Studierende der Studiengänge Bachelor und Diplom Informatik. Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden Algorithmen aus den Büchern „Introduction to Algorithms“ von Cormen, Leiserson, und Rivest sowie „Concrete Mathematics“ von Graham, Knuth und Patashnik betrachtet. Insbesondere sollen ausgewählte Graphalgorithmen, Algorithmen zu Netzwerkproblemen und Branch- & Bound-Algorithmen untersucht und präsentiert werden. Von den Teilnehmenden wird ein Vortrag zum Ende der Vorlesungszeit und eine Ausarbeitung zum Ende des Semester erwartet.

Registrierung

Bitte schreiben Sie sich in OPAL ein.

Voraussetzungen

Neben dem Interesse an Theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

Prüfungsleistungen

• ein Abstract im Umfang von einer bis zwei Seiten,
• eine schriftliche Ausarbeitung im Umfang von 5 bis 10 Seiten,
• und ein ca. 30-minütiger Vortrag

Anrechenbare Module

Bachelor Informatik

• INF-B-510: Vertiefung in der Informatik
• INF-B-520: Spezialisierung in der Informatik
• INF-B-610: Allgemeine Qualifikation

Bachelor Medieninformatik

• INF-B-610: Allgemeine Qualifikation

Diplom Informatik

• INF-D-520: Allgemeine Basisqualifikation

Kontakt