Skip to main content
  • Textbook
  • © 2017

Mathematik für die Informatik

Grundlegende Begriffe, Strukturen und ihre Anwendung

Authors:

  • Demonstriert die Anwendung von mathematischen Konzepten und Methoden anhand konkreter Problemstellungen
  • Einführung in die grundlegenden Begriffe und Strukturen der Mathematik für Informatiker
  • Erleichtert den Übergang von der Schulmathematik zur Mathematik an einer wissenschaftlichen Hochschule
  • Diskutiert den Stoff in großer Breite
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 24.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xii
  2. Mengentheoretische Grundlagen

    • Rudolf Berghammer
    Pages 1-32
  3. Logische Grundlagen

    • Rudolf Berghammer
    Pages 33-62
  4. Allgemeine direkte Produkte und Datenstrukturen

    • Rudolf Berghammer
    Pages 63-84
  5. Mathematische Beweise

    • Rudolf Berghammer
    Pages 85-116
  6. Anwendung: Spezifikation und Programmverifikation

    • Rudolf Berghammer
    Pages 117-144
  7. Spezielle Funktionen

    • Rudolf Berghammer
    Pages 145-182
  8. Spezielle Relationen und gerichtete Graphen

    • Rudolf Berghammer
    Pages 183-222
  9. Elementare Kombinatorik und ungerichtete Graphen

    • Rudolf Berghammer
    Pages 223-258
  10. Grundbegriffe algebraischer Strukturen

    • Rudolf Berghammer
    Pages 259-306
  11. Anwendung: Generische Programmierung

    • Rudolf Berghammer
    Pages 307-336
  12. Anhang: Formale Einführung der natürlichen Zahlen

    • Rudolf Berghammer
    Pages 337-360
  13. Anhang: Einige Literaturhinweise

    • Rudolf Berghammer
    Pages 361-365
  14. Back Matter

    Pages 367-370

About this book

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, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.

Authors and Affiliations

  • Institut für Informatik, Universität Kiel, Kiel, Germany

    Rudolf Berghammer

About the author

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.


Bibliographic Information

Buy it now

Buying options

eBook USD 24.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access