Mathematische Grundlagen der Informatik

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.

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.