Ziel dieser Einführung ist es, die für die Informatik typischen und grundlegenden mathematischen Denkweisen zu vermitteln. Der Leser wird mit den mathematischen Grundlagen der Informatik vertraut gemacht - auch ohne eine traditionell vorausgesetzte mathematische Grundausbildung.
Inhaltsverzeichnis
I Grundlagen.- 1 Aussagen.- 2 Mengen und Mengenoperationen.- 3 Mathematisches Beweisen.- 4 Relationen.- 5 Abbildungen und Funktionen.- II Techniken.- 6 Grundlegende Beweisstrategien.- 7 Vollständige Induktion.- 8 Zählen.- 9 Diskrete Stochastik.- III Strukturen.- 10 Boole sche Algebra.- 11 Graphen und Bäume.- 12 Aussagenlogik.