Advertisement

Mathematik für die Informatik

Grundlegende Begriffe, Strukturen und ihre Anwendung

  • Rudolf Berghammer

Table of contents

  1. Front Matter
    Pages i-xii
  2. Rudolf Berghammer
    Pages 1-32
  3. Rudolf Berghammer
    Pages 33-62
  4. Rudolf Berghammer
    Pages 63-84
  5. Rudolf Berghammer
    Pages 85-116
  6. Rudolf Berghammer
    Pages 117-144
  7. Rudolf Berghammer
    Pages 145-184
  8. Rudolf Berghammer
    Pages 185-228
  9. Rudolf Berghammer
    Pages 229-264
  10. Rudolf Berghammer
    Pages 265-312
  11. Rudolf Berghammer
    Pages 313-342
  12. Rudolf Berghammer
    Pages 343-368
  13. Back Matter
    Pages 369-426

About this book

Introduction

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 142 Übungsaufgaben, aufgeteilt in die 11 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 - Grundbegriffe algebraischer Strukturen - Generische Programmierung - Formale Einführung der natürlichen Zahlen

Die Zielgruppen

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

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

Keywords

Mathematik Informatik Buch Beweistechniken Logik Strukturen Relationen Kombinatorik Algebraische Strukturen Gerichtete Graphen Ungerichtete Graphen Mengentheorie Grundlagen Selbststudium Einführung Anwendung Übungsaufgaben Methoden Begriffe Mathematik für die Informatik

Authors and affiliations

  • Rudolf Berghammer
    • 1
  1. 1.Institut für InformatikUniversität KielKielGermany

Bibliographic information