Inhalte
Berechenbarkeit und ihre Grenzen, deterministische und nichtdeterministische Algorithmen, unlösbare Probleme. Komplexität, effiziente Algorithmen, nicht-handhabbare Probleme, Berechenbarkeits- und Komplexitätsklassen, NP-Vollständigkeit und Reduktionen.
Qualifikationsziele
Die Studierenden
- verstehen die Relation zwischen verschiedenen Computer- und Programmiermodellen
- sind in der Lage, mit abstrakten Konzepten wie Entscheidbarkeit und Berechenbarkeit umzugehen
- verstehen die prinzipiellen Grenzen des Berechenbaren
- können die Komplexität von Algorithmen und Problemen abschätzen, effiziente Lösungsmuster erkennen und anwenden sowie die Angemessenheit und algorithmische Effizienz von Lösungsansätzen einordnen
- verstehen den Zusammenhang verschiedener Komplexitätsklassen und der Grenzen des effizient Lösbaren.
- Kursleiter:in: Sebastian Böhne
- Kursleiter:in: Paul Glaser
- Kursleiter:in: Marc Fabian Lindner
- Kursleiter:in: Oskar Schiedewitz