Berechenbarkeit und Komplexität
| Credits | Workload | Kontaktzeit | Selbststudium | Dauer |
|---|---|---|---|---|
| 6 CP | 180 h | 5 SWS (75 h) | 105 h |
Teilnahmevoraussetzungen
Vorlesungen Diskrete Strukturen und Formale Systeme Automaten Prozesse.
Lehrveranstaltungen
| Veranstaltung/ Lehrform | CP | SWS | Häufigkeit | |
|---|---|---|---|---|
| Vorlesung Berechenbarkeit und Komplexität | 6 CP | 3 SWS | WS, jährlich | |
| Übung Berechenbarkeit und Komplexität | 2 SWS | WS, jährlich | ||
Prüfungsleistung
Note
Lernergebnisse / Kompetenzen
- Präzisierung und Tragweite des Algorithmenbegriffs
- Begriffsbildungen zur prinzipiellen Lösbarkeit algorithmischer Probleme
- Grundlagen zur Berechnungskomplexität
- Approximation als Ansatz zur Lösung schwerer Probleme
Inhalte
- Beispiele algorithmischer Probleme, Darstellung durch Sprachen und Funktionen, Frage der Lösbarkeit
- Turingmaschinen, Church-Turing-These
- Berechenbarkeit, Entscheidbakeit, Aufzählbarkeit
- Simulationen zwischen verschiedenen Berechnungsmodellen, universelle Maschinen bzw. Programme
- Unentscheidbare Probleme (u.a. Postsches Korrespondenzproblem)
- Komplexitätsklassen und elementare Sachverhalte zu Zeit- und Platzkomplexität
- Polynomielle Reduktionen und NP-Vollständigkeit
- Approximation als Methode zur Lösung NP-harter Probleme,
- Beispiel eines Polynomzeit-Approximationsschemas (FPTAS)
Alternative Wahlmodule zu diesem Modul
Dieses Modul gehört zur Gruppe "Wahlpflicht Informatik". 9 Module (bestehend aus Vorlesung und Übung) zu wählen aus dem Wahlpflichtprogramm in den vier Bereichen: „Angewandte Informatik“, „Software & Kommunikation“, „Daten- und Informationsmanagement“, „Theoretische Informatik“. In jedem Bereich sind mind. 6, höchstens jedoch 30 ECTS zu erwerben. Die Module sollten so gewählt werden, dass im 1. Studienjahr in der Regel 36 ECTS, im zweiten Studienjahr 24 ECTS erworben werden.
Angewandte Informatik
- Computational Differentiation
- Designing Interactive Systems II
- Einführung in die Computergraphik
- Einführung in High-Performance Computing
- HCI Design Patterns
Daten- und Informationsmanagement
- Datenbanken und Informationssysteme
- Einführung in die künstliche Intelligenz
- Einführung in die Wissensrepräsentation
- Implementation of Databases
- Inhaltsbasierte Ähnlichkeitssuche
- Web Engineering
Software und Kommunikation
- Architekturmodellierung von Softwaresystemen
- Datenkommunikation und Sicherhei
- Einführung in Eingebettete Systeme
- Modellbasierte Softwareentwicklung
- Verteilte Anwendungssysteme und Middleware
Theoretische Informatik
- Angewandte Automatentheorie
- Compilerbau
- Einführung in Effiziente Algorithmen
- Funktionale Programmierung
- Logikprogrammierung
- Model Checking
Modulzuordnung
Master of Science: Fach Grundlagen der Informatik: Bereich Theoretische Informatik
Disclaimer
Bitte beachten Sie, dass im Zweifel (z.B. sich widersprechende Angaben auf der Website und dem Modulhandbuch) für Ihr Studium immer die Angaben in der aktuellen Bachelorprüfungsordnung mit den entsprechenden Anhängen verbindlich sind. Wenden Sie sich bitte an die Fachstudienberatung, wenn Ihnen Unstimmigkeiten auffallen.
