Die Vorlesung gibt eine Einführung in die Berechenbarkeitstheorie. Wir studieren Berechnungsmodelle wie Automaten und Turingmaschinen und dadurch die Berechenbarkeit und Entscheidbarkeit mathematischer Probleme. Weiterhin bietet die Vorlesung eine Einführung in die Komplexitätstheorie, die analysiert, welche Ressourcen nötig sind, um ein Problem zu lösen.
The course provides an introduction to computability theory. Working with computation models such as automata and Turing machines, we study the computability and decideability of mathematical problems. The course also gives an introduction to complexity theory, which analyses the resources required to solve a given problem.
- Lehrende/r: Ralf-Dieter Schindler
Semester: WiSe 2024/25