Die Vorlesung richtet sich an Studierende der Mathematik, der Angewandten Informatik und (als Wahlpflichtfach) an Studierende der IT-Sicherheit. Sie liefert eine EinfĂŒhrung in die Theorie der Grammatiken (insbesondere kontextfreie Grammatiken) und Automaten (endlicher Automat, Kellerautomat, Turing-Maschine). Sie gibt ferner einen Einblick in die Berechenbarkeits- und NP-VollstĂ€ndigkeitstheorie, wo es um die Frage geht, welche Rechenprobleme (ĂŒberhaupt bzw. mit vertretbarem Aufwand) gelöst werden können. Es wird sich zeigen, dass es inhĂ€rent schwere Probleme gibt, die von Rechnern nicht zufriedenstellend gelöst werden können.
- Kursleiter/in: Maike Buchin
- Kursleiter/in: Eike Kiltz
- Kursleiter/in: Alexander Neuhaus
- Kursleiter/in: Lukas PlÀtz
- Kursleiter/in: Christoph Ries
- Kursleiter/in: Dennis Rohde
- Kursleiter/in: Felix Tschirbs
- Kursleiter/in: Thomas Zeume
Semester: WiSe 2024/25