Advertisement

Mathematisch-strukturelle Grundlagen der Informatik

  • Authors
  • H. Ehrig
  • B. Mahr
  • F. Cornelius
  • M. Große-Rhode
  • P. Zeitz

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Einleitung

    1. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 1-3
  3. Mathematische Grundbegriffe

    1. Front Matter
      Pages 5-6
    2. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 7-27
    3. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 29-41
    4. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 43-76
    5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 77-91
    6. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 93-107
  4. Algebraische Strukturen

    1. Front Matter
      Pages 109-111
    2. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 113-119
    3. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 121-131
    4. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 133-152
    5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 153-165
    6. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 167-180
    7. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 181-197
  5. Aussagenlogik

    1. Front Matter
      Pages 199-200
    2. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 201-224
    3. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 225-236
    4. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 237-258
    5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 259-276
    6. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 277-287
    7. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 289-304
  6. Prädikatenlogik

    1. Front Matter
      Pages 305-306
    2. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 307-332
    3. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 333-351
    4. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 353-364
    5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 365-377
  7. Kategorielle Grundlagen

    1. Front Matter
      Pages 379-382
    2. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 383-399
    3. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 401-408
    4. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 409-423
    5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 425-443
    6. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 445-471
    7. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 473-496
    8. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
      Pages 497-519
  8. Back Matter
    Pages 521-535

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.

Keywords

Abbildungen Algebraische Strukturen und Spezifikation Aussagenlogik Datenstruktur Datenstrukturen Homomorphismen Implementierung Logik Logische Kalküle Mathematik Mathematische Logik Mengen Prädikate Theoretische Informatik algebraische Strukturen

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-97986-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63865-0
  • Online ISBN 978-3-642-97986-6
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Aerospace