Advertisement

Informatik und Mathematik

  • Manfred Broy

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Mathematik und Informatik

    1. Front Matter
      Pages 1-1
    2. Friedrich L. Bauer
      Pages 28-40
  3. Schaltalgebra und Relationentheorie

    1. Front Matter
      Pages 41-41
    2. Heinz Zemanek
      Pages 43-72
    3. Carlos Delgado Kloos
      Pages 73-85
    4. Horst Remus
      Pages 86-97
    5. Gunther Schmidt
      Pages 98-114
    6. Stephan Braun
      Pages 115-124
  4. Numerische Mathematik

  5. Zerteilungs- und Erkennungsprobleme

  6. Algebraische Logik

    1. Front Matter
      Pages 249-249
    2. Helmut Schwichtenberg
      Pages 251-268
    3. Martin Wirsing
      Pages 269-283
  7. Programmierung und Übersetzerbau

    1. Front Matter
      Pages 295-295
    2. David Gries
      Pages 297-302
    3. Gerhard Seegmüller
      Pages 312-319
    4. Peter Deussen
      Pages 337-352
  8. Programmtransformation und Methodik der Programmierung

    1. Front Matter
      Pages 353-353
    2. Manfred Broy
      Pages 355-365
    3. Helmut Partsch
      Pages 366-380
    4. Peter Pepper, Bernhard Möller
      Pages 381-405
    5. Bernhard Möller
      Pages 419-440
  9. Back Matter
    Pages 441-450

About this book

Keywords

Algebra Algorithmen Entwicklung Entwurf Informatik Logik Numerik Numerische Mathematik Programmiertechnik Programmierung Programmtransformation Rechnerarchitektur Relationen Schaltalgebra Schnitt

Editors and affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-76677-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-76678-7
  • Online ISBN 978-3-642-76677-0
  • Buy this book on publisher's site