Christoph Meinel & Martin Mundhenk 
Mathematische Grundlagen der Informatik 
Mathematisches Denken und Beweisen. Eine Einführung

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.

Innehållsförteckning

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

Om författaren

Prof. Dr. Christoph Meinel, Hasso-Plattner-Institut, Universität Potsdam
Prof. Dr. Martin Mundhenk, Friedrich-Schiller-Universität Jena