Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2001

Mathematisch-strukturelle Grundlagen der Informatik

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)

Sections

Buy it now

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

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

Table of contents (31 chapters)

  1. Front Matter

    Pages I-XXI
    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
      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
      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
      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

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation