Mathematik für die Informatik

Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.

• Mengentheoretische Grundlagen.- Logische Grundlagen.- Allgemeine direkte Produkte und Datenstrukturen.- Mathematische Beweise.- Spezifikation und Programmverifikation.- Spezielle Funktionen.- Spezielle Relationen und gerichtete Graphen.- Elementare Kombinatorik und ungerichtete Graphen.- Diskrete Wahrscheinlichkeitstheorie.- Generische Programmierung.- Grundbegriffe algebraischer Strukturen.- Formale Einführung der natürlichen Zahlen.