Warum mussen InformatikerInnen und SoftwareentwicklerInnen im Studium eigentlich Mathe hoeren? Wie kann ihnen die Mathematik beim Programmieren helfen? Dieses Lehrbuch vermittelt StudienanfangerInnen die Sprache und Methode der Mathematik als Grundlage strukturierten Problemloesens, welches essenziell fur 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. Da man Mathematik - ebenso wie die Softwareentwicklung - nicht durch Lesen, sondern nur durch Tun erlernt, schliesst jeder Abschnitt mit einer Reihe von Verstandnisfragen und UEbungsaufgaben. Es eignet sich daher bestens zum Nacharbeiten einer Vorlesung und zur Prufungsvorbereitung. Durch den verstandlichen Schreibstil und die Loesungen auf der Webseite des Autors kann dieses Buch aber auch gut zum Selbststudium genutzt werden.