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.

表中的内容

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

关于作者

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