
Mathematik für die Informatik
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Das Buch 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 Schul-Mathematik 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 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen 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. 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 von Berghammer, Rudolf
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er 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.
- Hardcover
- 472 Seiten
- Erschienen 2009
- Springer
- Gebunden
- 104 Seiten
- Erschienen 2022
- Buchner, C.C.
- Kartoniert
- 176 Seiten
- Erschienen 2008
- Oldenbourg Wissenschaftsverlag
- hardcover
- 97 Seiten
- Erschienen 2004
- Klett
- Hardcover
- 460 Seiten
- Erschienen 2013
- Springer Vieweg
- Hardcover -
- Erschienen 2011
- De Gruyter Oldenbourg
- Hardcover -
- Erschienen 2007
- Vieweg+Teubner Verlag
- Gebunden
- 737 Seiten
- Erschienen 2014
- Wiley-VCH
- hardcover
- 220 Seiten
- Erschienen 2024
- Buchner, C.C.
- Kartoniert
- 173 Seiten
- Erschienen 2019
- Springer Spektrum
- Hardcover -
- Erschienen 2002
- Vieweg+Teubner Verlag
- Hardcover -
- Erschienen 2012
- De Gruyter Oldenbourg