Ziel dieser Einführung in die mathematischen Grundlagen der Informatik ist es, systematisch die für die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen ohne dabei auf besondere, die übliche Schulmathematik übersteigende, Vorkenntnisse aufzubauen. Die dritte Auflage wurde insbesondere um ein Kapitel über modulare Arithmetik erweitert.
Inhaltsverzeichnis
Grundlagen.- Aussagen.- Mengen und Mengenoperationen.- Mathematisches Beweisen.- Relationen.- Abbildungen und Funktionen.- Techniken.- Grundlegende Beweisstrategien.- Vollständige Induktion.- Zählen.- Diskrete Stochastik.- Strukturen.- Boole'sche Algebra.- Graphen und Bäume.- Aussagenlogik.- Modulare Arithmetik.