Advertisement

Informatik

Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

  • Manfred Broy

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Manfred Broy
    Pages 1-71
  3. Manfred Broy
    Pages 73-107
  4. Manfred Broy
    Pages 109-138
  5. Manfred Broy
    Pages 139-161
  6. Manfred Broy
    Pages 197-203
  7. Back Matter
    Pages 205-217

About this book

Introduction

Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte.
Ausgehend von einem kurzen Kapitel über Relationenalgebra und Ordnungstheorie werden die Themen Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit sowie Rechen- und Speicherkomplexität von Algorithmen und Problemstellungen besprochen. Techniken der axiomatischen Spezifikation und der Entity-Relationship-Modellierung werden eingeführt und Logik- und Objekt-orientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.

Keywords

Algorithmen Algorithmen und Datenstrukturen Berechenbarkeit Betriebssysteme Datenstrukturen Formale Sprachen Informatik Komplexität Programmiersprache Programmierung Relationen Relationenalgebra Systemprogrammierung Verteilte Systeme Übersetzer

Authors and affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-97613-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58602-9
  • Online ISBN 978-3-642-97613-1
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering