- 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