Proseminar "Theoretische Informatik"

Dr. rer. nat. Florian Funke, Dr. Sascha Klüppelholz,
SWS: (0/2/0), auf Deutsch

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

Eine Teilnahme setzt eine Anmeldung in OPAL bis zum 10.04.2022 voraus.

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

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

Ablauf

Alle Teilnehmer werden per E-Mail über die Einführungsveranstaltung informiert. Diese wird virtuell als Videokonferenz stattfinden. In dieser wird jedem Teilnehmer ein Thema zugeteilt, für das vorerst ein kurzes Abstract verfasst werden soll. Danach beginnt die Arbeit an den Prüfungsleistungen mit Hilfe eines Betreuers.

Die Vorträge werden als Blockveranstaltung im Zeitraum Juli-September 2022 stattfinden. Termine und der Modus (Präsenzveranstaltung oder als Videokonferenz) werden nach Absprache und abhängig von der Entwicklung der Coronakrise vereinbart. Selbiges gilt für die individuellen Betreuungstermine.

Die schriftliche Ausarbeitung ist bis zum 30.September 2022 fällig.

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