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