Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung (German Edition)

Die mathematischen Grundlagen der Informatik werden anhand von Definitionen und Beispielen anschaulich eingeführt. Ziel des Buches ist es, systematisch die für die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen – ohne dabei auf besondere, die übliche Schulmathematik übersteigende Vorkenntnisse aufzubauen. Die mathematischen Grundlagen der Informatik werden anhand von Definitionen und Beispielen anschaulich eingeführt. Ziel des Buches ist es, systematisch die für die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen - ohne dabei auf besondere, die übliche Schulmathematik übersteigende Vorkenntnisse aufzubauen. Der Inhalt: Aussagen Mengen und Mengenoperationen Mathematisches Beweisen Relationen Abbildungen und Funktionen Grundlegende Beweisstrategien Vollständige Induktion Zählen Diskrete Stochastik Boole'sche Algebra Graphen und Bäume Aussagenlogik Modulare Arithmetik Die Zielgruppen: Studierende der Informatik in Haupt- und Nebenfach ab 1. Semester an Universitäten, Technischen Hochschulen und Fachhochschulen, sowie an der Informatik Interessierte aus anderen Fächern. Die Autoren: Prof. Dr. Christoph Meinel ist seit 2004 Direktor des Hasso-Plattner-Instituts für Softwaresystemtechnik GmbH und Professor für Internet-Technologien und Systeme an der Universität Potsdam. Er ist Autor, Koautor und Herausgeber von zahlreichen Büchern, Tagungsbänden und Artikeln. Prof. Dr. Martin Mundhenk ist seit 2001 Professor für Informatik an der Friedrich-Schiller-Universität Jena. Er ist dort in Forschung und Lehre für Haupt- und Nebenfach Informatik tätig Front Matter....Pages I-XVII Einleitung....Pages 1-4 Front Matter....Pages 5-5 Aussagen....Pages 7-22 Mengen und Mengenoperationen....Pages 23-43 Mathematisches Beweisen....Pages 45-49 Relationen....Pages 51-76 Abbildungen und Funktionen....Pages 77-96 Front Matter....Pages 97-97 Grundlegende Beweisstrategien....Pages 99-114 Vollständige Induktion....Pages 115-132 Zählen....Pages 133-152 Diskrete Stochastik....Pages 153-177 Front Matter....Pages 179-179 Boole’sche Algebra....Pages 181-222 Graphen und Bäume....Pages 223-252 Aussagenlogik....Pages 253-282 Modulare Arithmetik....Pages 283-314 Back Matter....Pages 315-321 Die mathematischen Grundlagen der Informatik werden anhand von Definitionen und Beispielen anschaulich eingefuhrt. Ziel des Buches ist es, systematisch die fur die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen - ohne dabei auf besondere, die ubliche Schulmathematik ubersteigende Vorkenntnisse aufzubauen.