Dieses Lehrbuch vermittelt StudienanfängerInnen die Sprache und Methode der Mathematik als Grundlage strukturierten Problemlösens, welches essenziell für das Entwickeln von Softwaresystemen ist. Deshalb liegt der didaktische Fokus hier darauf aufzuzeigen, wie mathematische Konzepte aufeinander aufbauen, welche Muster sich daraus ergeben, und welche klar strukturierten Regeln es in der mathematischen Argumentation (dem Beweisen) gibt. Dieses Buch richtet den inhaltlichen Fokus auf Logik, Mengenlehre, diskrete Strukturen und Wahrscheinlichkeitsrechnung und orientiert sich damit an den Empfehlungen von ACM und IEEE zur Mathematikausbildung im Software-Engineering-Studium.