12. Diskrete Mathematik für Softwareentwicklung
Mengen, Relationen, Aussagenlogik, Graphen, Rekursion und Kombinatorik liefern Werkzeuge für Datenmodelle und Algorithmen. Der Schwerpunkt liegt auf Anwendungen in Programmen statt auf formalen Beweisen.