Skip to main content
SpringerLink
Log in
Book cover

Mathematisch-strukturelle Grundlagen der Informatik

  • Textbook
  • © 2001

Overview

Authors:
  1. Hartmut Ehrig

    1. Fachbereich Informatik, Technische Universität Berlin, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Bernd Mahr

    1. Fachbereich Informatik, Technische Universität Berlin, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Martin Große-Rhode

    1. Fachbereich Informatik, Technische Universität Berlin, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Felix Cornelius

    1. Webman AG, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  5. Philip Zeitz

    1. Spreebogen Plaza, RightStep Informationssysteme, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Konzeptuelle Einleitung und Zusammenfassung zu jedem Kapitel Sorgfältige didaktische Konzeption
  • Viele Diagramme, Tabellen, Abbildungen, Beispiele, Aufgaben
  • Integrierte Darstellung mengentheoretischer, algebraischer und logischer Grundlagen
  • Includes supplementary material: sn.pub/extras

Part of the book series: Springer-Lehrbuch (SLB)

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

Access this book

Log in via an institution
eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  2. Einleitung

    1. Einleitung

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

  3. Mathematische Grundbegriffe

    1. Front Matter

      Pages 5-6
      Download chapter PDF

    2. Mengen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 7-27

    3. Relationen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 29-41

    4. Abbildungen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 43-76

    5. Ordnungen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 77-91

    6. Äquivalenzrelationen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 93-107

  4. Algebraische Strukturen

    1. Front Matter

      Pages 109-111
      Download chapter PDF

    2. Datenstrukturen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 113-120

    3. Signaturen und Algebren

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 121-132

    4. Homomorphismen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 133-153

    5. Terme und strukturelle Induktion

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 155-167

    6. Termalgebren

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 169-182

    7. Algebraische Spezifikationen

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 183-200

    8. Von der Modellalgebra über die Spezifikation zur Implementierung

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 201-219

  5. Aussagenlogik

    1. Front Matter

      Pages 221-222
      Download chapter PDF

    2. Aussagenlogische Formeln und Gültigkeit

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 223-246

    3. Folgerung

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 247-258

    4. Logische Äquivalenz

      • Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornlius, Philip Zeitz
      Pages 259-280
Back to top

Keywords

About this book

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 wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.

Authors and Affiliations

  • Fachbereich Informatik, Technische Universität Berlin, Berlin, Deutschland

    Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode

  • Webman AG, Berlin, Deutschland

    Felix Cornelius

  • Spreebogen Plaza, RightStep Informationssysteme, Berlin, Deutschland

    Philip Zeitz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation