Die Vorlesung gibt eine Einführung in die Berechenbarkeitstheorie. Ausgehend von Automaten- und Turingmaschinenmodellen studieren wir die (effektive) Berechenbarkeit und Entscheidbarkeit mathematischer Probleme. Weiterhin bietet die Vorlesung eine Einführung in die Komplexitätstheorie und in die Rekursionstheorie.
- Lehrende/r: Farmer Schlutzenberg
Semester: WT 2019/20
Test field: WT 2025/26
ePortfolio: No
Freiwilliges Repetitorium zur Vorlesung Informatik I (108034) zur Wiederholung und Unterstützung der Klausurvorbereitung.
- Lehrende/r: Andreas Nienkötter
Semester: WT 2019/20
Test field: WT 2025/26
ePortfolio: No
- Lehrende/r: Laura Wirth
Semester: WT 2019/20
Test field: WT 2025/26
ePortfolio: No