Skip to main content
  • Textbook
  • © 2011

Mathematische Grundlagen der Informatik

Mathematisches Denken und Beweisen. Eine Einführung

  • Mathematische Grundlagen der Informatik - kompakt und verständlich

Part of the book series: XLeitfäden der Informatik (XLINF)

Buy it now

Buying options

eBook USD 39.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 (14 chapters)

  1. Front Matter

    Pages 1-10
  2. Einleitung

    1. Einleitung

      • Christoph Meinel, Martin Mundhenk
      Pages 11-15
  3. Grundlagen

    1. Front Matter

      Pages 17-17
    2. Aussagen

      • Christoph Meinel, Martin Mundhenk
      Pages 19-35
    3. Mengen und Mengenoperationen

      • Christoph Meinel, Martin Mundhenk
      Pages 36-57
    4. Mathematisches Beweisen

      • Christoph Meinel, Martin Mundhenk
      Pages 58-62
    5. Relationen

      • Christoph Meinel, Martin Mundhenk
      Pages 63-88
    6. Abbildungen und Funktionen

      • Christoph Meinel, Martin Mundhenk
      Pages 89-108
  4. Techniken

    1. Front Matter

      Pages 109-109
    2. Grundlegende Beweisstrategien

      • Christoph Meinel, Martin Mundhenk
      Pages 111-127
    3. Vollständige Induktion

      • Christoph Meinel, Martin Mundhenk
      Pages 128-146
    4. Zählen

      • Christoph Meinel, Martin Mundhenk
      Pages 147-166
    5. Diskrete Stochastik

      • Christoph Meinel, Martin Mundhenk
      Pages 167-189
  5. Strukturen

    1. Front Matter

      Pages 191-191
    2. Boole'sche Algebra

      • Christoph Meinel, Martin Mundhenk
      Pages 193-235
    3. Graphen und Bäume

      • Christoph Meinel, Martin Mundhenk
      Pages 236-266
    4. Aussagenlogik

      • Christoph Meinel, Martin Mundhenk
      Pages 267-297
    5. Modulare Arithmetik

      • Christoph Meinel, Martin Mundhenk
      Pages 298-328
  6. Back Matter

    Pages 327-335

About this book

Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor.
Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Umgang mit exakten mathematischen Beschreibungen und Argumentationen in der Informatik.

Der Inhalt
Grundlagen: Aussagen - Mengen und Mengenoperationen - Mathematisches Beweisen - Relationen - Abbildungen und Funktionen - Techniken: Grundlegende Beweisstrategien - Vollständige Induktion - Zählen - Diskrete Stochastik - Strukturen: Boole'sche Algebra - Graphen und Bäume - Aussagenlogik - Modulare Arithmetik

Die Zielgruppe
Studierende der Informatik ab 1. Semester an Universitäten und Technischen Universitäten

Die Autoren
Prof. Dr. Christoph Meinel, Hasso-Plattner-Institut, Universität Potsdam
Prof. Dr. Martin Mundhenk, Friedrich-Schiller-Universität Jena

About the authors

Prof. Dr. Christoph Meinel, Hasso-Plattner-Institut, Universität Potsdam
Prof. Dr. Martin Mundhenk, Friedrich-Schiller-Universität Jena

Bibliographic Information

  • Book Title: Mathematische Grundlagen der Informatik

  • Book Subtitle: Mathematisches Denken und Beweisen. Eine Einführung

  • Authors: Christoph Meinel, Martin Mundhenk

  • Series Title: XLeitfäden der Informatik

  • DOI: https://doi.org/10.1007/978-3-8348-8125-0

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2011

  • eBook ISBN: 978-3-8348-8125-0Published: 06 April 2011

  • Series ISSN: 1615-5432

  • Edition Number: 5

  • Number of Pages: 335

  • Number of Illustrations: 68 b/w illustrations

  • Topics: Mathematics of Computing, Applications of Mathematics

Buy it now

Buying options

eBook USD 39.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