Berechenbarkeit und Komplexität - Seminaristischer Unterricht
13.04.2026 14:00 - 15:30
Dieser Termin ist abgelaufen.
Beschreibung
Die Vorlesung behandelt: Berechenbarkeit, Entscheidbarkeit, rekursive Aufzählbarkeit; Halteprobleme; Gödels Unvollständigkeitssatz; Zeitkomplexitätsklassen; P-NP-Problem; Cooks Satz.
Personen
- Just, B.
Veranstaltungsgruppen
- Informatik (M.Sc.), Kernmodule
- Informatik (M.Sc.), Theoretische Informatik
Räume
- A20.1.08