Verwandte Artikel zu Mathematik für die Informatik: Grundlegende Begriffe,...

Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen - Softcover

Berghammer, Rudolf

 
9783658441487: Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen
Softcover
ISBN 10: 3658441488 ISBN 13: 9783658441487
Verlag: Springer Vieweg, 2024

Inhaltsangabe

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 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 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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 Stoffes, 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 Kapiteln helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buches 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

Die Zielgruppe

Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Semestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule.


Der Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Vieweg
Erscheinungsdatum
2024
Sprache
Deutsch
ISBN 10 
3658441488
ISBN 13 
9783658441487
Einband
Taschenbuch
Auflage
5
Anzahl der Seiten
608
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland