Mathematische Grundlagen der Informatik

Mathematisches Denken und Beweisen Eine Einführung

  • Authors
  • Christoph Meinel
  • Martin Mundhenk

Table of contents

  1. Front Matter
    Pages 1-10
  2. Einleitung

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

    1. Front Matter
      Pages 17-17
    2. Christoph Meinel, Martin Mundhenk
      Pages 19-35
    3. Christoph Meinel, Martin Mundhenk
      Pages 36-57
    4. Christoph Meinel, Martin Mundhenk
      Pages 58-62
    5. Christoph Meinel, Martin Mundhenk
      Pages 63-88
    6. Christoph Meinel, Martin Mundhenk
      Pages 89-108
  4. Techniken

    1. Front Matter
      Pages 109-109
    2. Christoph Meinel, Martin Mundhenk
      Pages 111-127
    3. Christoph Meinel, Martin Mundhenk
      Pages 128-146
    4. Christoph Meinel, Martin Mundhenk
      Pages 147-166
    5. Christoph Meinel, Martin Mundhenk
      Pages 167-189
  5. Strukturen

    1. Front Matter
      Pages 191-191
    2. Christoph Meinel, Martin Mundhenk
      Pages 193-235
    3. Christoph Meinel, Martin Mundhenk
      Pages 236-266
    4. Christoph Meinel, Martin Mundhenk
      Pages 267-297
    5. Christoph Meinel, Martin Mundhenk
      Pages 298-328
  6. Back Matter
    Pages 327-335

About this book

Introduction

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

Keywords

Algebra Aussagenlogik Beweisstrategien Funktionen Grundlagen Informatik Mathematik für Informatiker Mengen- und Mengenoperationen Modulare Arithmetik Stochastik

Bibliographic information