Beschreibung:
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.