Advertisement

Mathematisch-strukturelle Grundlagen der Informatik

  • Hartmut Ehrig
  • Bernd Mahr
  • Martin Große-Rhode
  • Felix Cornelius
  • Philip Zeitz

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Einleitung

    1. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 1-3
  3. Mathematische Grundbegriffe

    1. Front Matter
      Pages 5-6
    2. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 7-27
    3. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 29-41
    4. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 43-76
    5. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 77-91
    6. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 93-107
  4. Algebraische Strukturen

    1. Front Matter
      Pages 109-111
    2. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 113-120
    3. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 121-132
    4. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 133-153
    5. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 155-167
    6. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 169-182
    7. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 183-200
    8. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 201-219
  5. Aussagenlogik

    1. Front Matter
      Pages 221-222
    2. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 223-246
    3. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 247-258
    4. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 259-280
    5. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 281-298
    6. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 299-309
    7. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 311-326
  6. Prädikatenlogik

    1. Front Matter
      Pages 327-328
    2. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 329-354
    3. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 355-373
    4. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 375-386
    5. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 387-399
    6. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 401-455
  7. Kategorielle Grundlagen

    1. Front Matter
      Pages 457-460
    2. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 461-478
    3. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 479-486
    4. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 487-503
    5. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 505-525
    6. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 527-555
    7. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 557-582
    8. Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 583-606
  8. Back Matter
    Pages 607-621

About this book

Introduction

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Die Neuauflage enthält neue Kapitel Über Modellalgebra und Implementierung, über relevante Arten der Logik, sowie erweiterte Übungsaufgaben.

Prof. Ehrig und Prof. Mahr sind international anerkannte Experten auf den Gebieten Theoretische Informatik/Formale Spezifikation, Semantik von Programmier- und Spezifikationsspachen, logische Kalküle der Informatik sowie Kommunikations- und Softwaretechnik. Sie haben die dem Buch zugrundeliegenden Lehrveranstaltungen an der Technischen Universität Berlin konzipiert und seit mehr als zehn Jahren gehalten. Dabei wurden sie in den Jahren 1996 bis 1998 von ihren wissenschaftlichen Mitarbeitern F. Cornelius, M. Große-Rhode und P. Zeitz unterstützt, welche die Konzepte weiterentwickelt, neue didaktische Ansätze entworfen und diese mit großem Erfolg umgesetzt haben. Nach Abschluß ihrer Promotionen bekleiden F. Cornelius und P. Zeitz inzwischen Positionen in der freien Wirtschaft.

Keywords

Algebraische Strukturen und Spezifikation Datenstruktur Datenstrukturen Datentyp Grundlagen der Informatik Implementierung Informatik Kategorientheorie Logik Logische Kalküle Mathematische Logik Mathematische Strukturen Modellalgebra algebraische Strukturen mathematische Grundlagen

Authors and affiliations

  • Hartmut Ehrig
    • 1
  • Bernd Mahr
    • 1
  • Martin Große-Rhode
    • 1
  • Felix Cornelius
    • 2
  • Philip Zeitz
    • 3
  1. 1.Fachbereich InformatikTechnische Universität BerlinBerlinDeutschland
  2. 2.Webman AGBerlinDeutschland
  3. 3.Spreebogen PlazaRightStep InformationssystemeBerlinDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-56792-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41923-5
  • Online ISBN 978-3-642-56792-6
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications