- Diskrete Mathematik und Logik:
Spezifikation von
- Anforderungen (gewünschtes Systemverhalten)
- Lösungen (geplante Systemstruktur)
- Grundlagen der Informatik
Algorithmenbegriff, Berechenbarkeit
- Grundlagen der Programmierung
Realisierung von Algorithmen in Programmen
- Algorithmen und Datenstrukturen
Entwurf und Analyse von effizienten Algorithmen
- Theoretische Informatik
Analyse der Komplexität von Problemen