Einleitung und Grundlagen

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.