Die Vorlesung richtet sich an
Studierende der Mathematik, der Informatik, 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: Christoph Ries
- Kursleiter/in: Dennis Rohde
- Kursleiter/in: Marko Schmellenkamp