Die Menschheit hat die Mathematik entwickelt, um die Welt zu verstehen. Entsprechend nützlich kann sie für die Softwareentwicklung sein. Dabei geht es nicht bloß ums "Rechnen"; Mathematik kann auch ein mächtiges Werkzeug bei der Domänenmodellierung sein. In diesem Vortrag schauen wir uns an, was Algebra und Logik zur Programmierung beitragen können. Sie helfen dabei, die Essenz komplexer Probleme zu extrahieren und bringend Ordnung und Eleganz auch in chaotische Domänen. Die entstehenden Modelle sind einfach, erweiterbar und antizipieren auch zukünftige Anforderungen. Kompliziert ist das ganze nicht und erfordert auch kein Spezialstudium: Eine kleine Handvoll mathematischer Konzepte reichen schon aus, um bei vielen Problemen eine Menge herauszuholen. Das geht natürlich am besten in Kombination mit funktionaler Programmierung, aber auch OO-Software kann profitieren.