Mathematische Grundlagen der Informatik

Mathematisches Denken und Beweisen Eine Einführung

  • Christoph Meinel
  • Martin Mundhenk

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Christoph Meinel, Martin Mundhenk
    Pages 1-4
  3. Grundlagen

    1. Front Matter
      Pages 5-5
    2. Christoph Meinel, Martin Mundhenk
      Pages 7-22
    3. Christoph Meinel, Martin Mundhenk
      Pages 23-43
    4. Christoph Meinel, Martin Mundhenk
      Pages 45-49
    5. Christoph Meinel, Martin Mundhenk
      Pages 51-76
    6. Christoph Meinel, Martin Mundhenk
      Pages 77-96
  4. Techniken

    1. Front Matter
      Pages 97-97
    2. Christoph Meinel, Martin Mundhenk
      Pages 99-114
    3. Christoph Meinel, Martin Mundhenk
      Pages 115-132
    4. Christoph Meinel, Martin Mundhenk
      Pages 133-152
    5. Christoph Meinel, Martin Mundhenk
      Pages 153-177
  5. Strukturen

    1. Front Matter
      Pages 179-179
    2. Christoph Meinel, Martin Mundhenk
      Pages 181-222
    3. Christoph Meinel, Martin Mundhenk
      Pages 223-252
    4. Christoph Meinel, Martin Mundhenk
      Pages 253-282
    5. Christoph Meinel, Martin Mundhenk
      Pages 283-314
  6. Back Matter
    Pages 315-321

About this book

Introduction

Die mathematischen Grundlagen der Informatik werden anhand von Definitionen und Beispielen anschaulich eingeführt. Ziel des Buches ist es, systematisch die für die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen – ohne dabei auf besondere, die übliche Schulmathematik übersteigende Vorkenntnisse aufzubauen.

Der Inhalt:

Aussagen

Mengen und Mengenoperationen

Mathematisches Beweisen

Relationen

Abbildungen und Funktionen

Grundlegende Beweisstrategien

Vollständige Induktion

Zählen

Diskrete Stochastik

Boole'sche Algebra

Graphen und Bäume

Aussagenlogik

Modulare Arithmetik

 

Die Zielgruppen:

Studierende der Informatik in Haupt- und Nebenfach ab 1. Semester an Universitäten, Technischen Hochschulen und Fachhochschulen, sowie an der Informatik Interessierte aus anderen Fächern.

 

Die Autoren:

Prof. Dr. Christoph Meinel ist seit 2004 Direktor des Hasso-Plattner-Instituts für Softwaresystemtechnik GmbH und Professor für Internet-Technologien und Systeme an der Universität Potsdam. Er ist Autor, Koautor und Herausgeber von zahlreichen Büchern, Tagungsbänden und Artikeln.

Prof. Dr. Martin Mundhenk ist seit 2001 Professor für Informatik an der Friedrich-Schiller-Universität Jena. Er ist dort in Forschung und Lehre für Haupt- und Nebenfach Informatik tätig.

Keywords

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

Authors and affiliations

  • Christoph Meinel
    • 1
  • Martin Mundhenk
    • 2
  1. 1.Hasso-Plattner-InstitutPotsdamGermany
  2. 2.Institut für InformatikFriedrich-Schiller-UniversitätJenaGermany

Bibliographic information

Industry Sectors
Electronics