Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage
Ein algorithmisches Meta-Theorem besagt, dass man alle Probleme, die in einem gewissen logischen Formalismus ausgedrückt werden können, auf bestimmten Klassen von Problemeingaben effizient lösen kann. Das erlaubt einen sehr allgemeinen Ansatz zur algorithmischen Problemlösung, der über einzelne Probleme hinausgeht.
Einige der Themen, die In der Lehrveranstaltung behandelt werden, sind:
Das Kernstück dieser Lehrveranstaltung sind die Vorlesungseinheiten, in welchen die Inhalte vorgestellt werden. Die Vorlesungen werden in einer informellen, seminarartigen Weise abgehalten und sind interaktiv; von den Studierenden wird erwartet, dass sie sich aktiv einbringen. Jede neue Methode und jedes neues Konzept das in den Vorlesungen eingeführt wird, wird mit verschiedenen Beispielen erläutert.
The lectures and exercises take place in room FAV 01 A. There will be 7 lecture sessions and 3 exercise sessions.
Übungen und mündliche Prüfung.
Es werden Grundkenntnisse in Graphentheorie, Algorithmen und Datenstrukturen und Logik, auf Bachelor-Niveau erwartet.