Advertisement

Einleitung und Grundlagen

  • Volker Heun

Zusammenfassung

Wenn man Probleme mit Hilfe von Rechnern lösen will, ist man nicht nur an deren Lösungen interessiert, sondern man will nachweisbar korrekte Lösungen in möglichst kurzer Zeit auf möglichst kleinen Computern mit sehr einfachen Programmen erzielen. Mit diesen natürlichen Forderungen werfen wir bereits die meisten fundamentalen Probleme der Informatik auf. Zum einen stellt man in der Praxis fest, dass oft schon die Spezifikation eines Problems sehr aufwendig ist. Zum anderen zeigt die Theorie, dass es viel mehr Probleme gibt, die man nicht mit Rechnern lösen kann, als solche, die man lösen kann. Aber selbst unter Vernachlässigung dieser Schwierigkeiten bleibt die mechanische Problemlösung in hohem Maße komplex.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 2000

Authors and Affiliations

  • Volker Heun
    • 1
  1. 1.Fakultät für InformatikTechnische Universität MünchenMünchenDeutschland

Personalised recommendations