Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung

Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor.
Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Umgang mit exakten mathematischen Beschreibungen und Argumentationen in der Informatik.
Der Inhalt
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
Die Zielgruppe
Studierende der Informatik ab 1. Semester an Universitäten und Technischen Universitäten
Die Autoren
Prof. Dr. Christoph Meinel, Hasso-Plattner-Institut, Universität Potsdam
Prof. Dr. Martin Mundhenk, Friedrich-Schiller-Universität Jena