Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen : eine Einführung Die Einführung vermittelt typische und grundlegende Denkweisen der Informatik. Definitionen und Beispiele sorgen für Anschaulichkeit. Rezension (ekz): Nahezu unveränderte Neuauflage einer Einführung in die grundlegenden mathematischen Denkweisen der Informatik (zuletzt 4. Auflage 2009). Das Lehrbuch wendet sich an Studierende der Informatik und verwandter Fachbereiche in den Anfangssemestern. Behandelt im 1. Teil die Begriffswelt der Aussagenlogik der Mengenlehre und die Bedeutung des mathematischen Beweisens. Im 2. Teil geht es um Beweistechniken dabei werden auch Anwendungen aus der Stochastik herangezogen. Im 3. Teil werden dann diskrete Strukturen erörtert und das Kapitel zur Aussagenlogik greift Begriffe vom Buchanfang wieder auf um sie auf einem höheren mathematischen Niveau erneut zu behandeln. Diese 6. Auflage wurde um ein Symbolverzeichnis ergänzt und einige Fehler und Unstimmigkeiten haben eine Korrektur erfahren. (3)