Mathematik für die Informatik

Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses Lehrbuchbietet eine Einführung in die grundlegenden Begriffe und Strukturender Mathematik, welche am Anfang eines Informatikstudiums relevant sind.Weiterhin demonstriert es Anwendungen von mathematischen Konzepten undMethoden in der Informatik.Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung desStoffs, vielen Beispielen mit Rückgriffen auf die Schulmathematik unddetaillierten Beweisen (verbunden mit der Erklärung des logischenHintergrunds) erleichtert den Einstieg in die Mathematik an einerwissenschaftlichen Hochschule.Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehendeAnwendungen der Mathematik in der Informatik gut vorbereitet.Die 5. Auflage erweitertdenInhaltum dieGrundlagen der linearen Algebra. Die Übungsaufgabenzu deneinzelnen Kapitelhelfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchsermöglichen die Überprüfung der eigenen Lösungen. Der Inhalt Mengentheoretische Grundlagen * Logische Grundlagen * Allgemeine direkte Produkte und Datenstrukturen * Mathematische Beweise * Spezifikation und Programmverifikation * Spezielle Funktionen * Spezielle Relationen und gerichtete Graphen * Elementare Kombinatorik und ungerichtete Graphen * Diskrete Wahrscheinlichkeitstheorie * Generische Programmierung * Grundbegriffe algebraischer Strukturen * Formale Einführung der natürlichen Zahlen - Grundbegriffe der linearen Algebra Mit diesem Buch gelingt der Einstieg ins Informatik-Studium Mit diesem Buch schaffen Sie eine solide Basis für die Mathematikausbildung im Rahmen desInformatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstständig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs über Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche: Informatik Mathematik Ingenieurwissenschaften