- Kompakte Einführung in die Mathematik für die Informatik
- Basiert auf der langjährigen Lehrefahrung des Autors
- Mit hilfreichen Übungsaufgaben und Lösungen
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei
Dieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden 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 des Stoffs, vielen Beispielen mit Rückgriffen auf die Schulmathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet.
Die 5. Auflage erweitert den Inhalt um die Grundlagen der linearen Algebra.
Die Übungsaufgaben zu den einzelnen Kapitel helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermö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 des Informatikstudiums. 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
Rudolf Berghammer ist pensionierter Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.
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.
Erscheinungsdatum | 30.04.2024 |
---|---|
Zusatzinfo | XIV, 594 S. 61 Abb. |
Verlagsort | Wiesbaden |
Sprache | deutsch |
Maße | 168 x 240 mm |
Einbandart | kartoniert |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik | |
Schlagworte | Algebraische Strukturen • Anwendung • Begriffe • Beweistechniken • Einführung • Gerichtete Graphen • Grundlagen • Kombinatorik • Logik • Mathematik für die Informatik • Mathematik Informatik Buch • Mengentheorie • Methoden • Relationen • Selbststudium • Strukturen • Übungsaufgaben • Ungerichtete Graphen |
ISBN-10 | 3-658-44148-8 / 3658441488 |
ISBN-13 | 978-3-658-44148-7 / 9783658441487 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €