I5 — Theorie: Effizienz, Korrektheit, Rekursion, Datenstrukturen, Graphen, Sprachen und Automaten, Berechenbarkeit, Komplexität (K11–13, Abitur)
- Rekursion ›
- Datenstrukturen ›
- Graphen und Netzwerke ›
- Algorithmen-Effizienz und Laufzeit ›
- Korrektheit und Terminierung von Algorithmen ›
- Formale Sprachen und Grammatiken ›
- Endliche Automaten ›
- Grenzen der Berechenbarkeit — das Halteproblem ›
- Komplexität und praktische Grenzen ›