Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor.
Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Umgang mit exakten mathematischen Beschreibungen und Argumentationen in der Informatik.
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.
