Zusammenfassung
Im Mittelpunkt der algorithmischen Informatik stehen Verfahren, die zu gegebenen Problemstellungen Lösungen berechnen. Dabei ist es wünschenswert, das Berechnungsverfahren in einer Form darzustellen, die den Bezug zur Problemstellung aufzeigt und deutlich macht, daß die erzielten Lösungen korrekt sein werden. Dazu ist es in einem ersten Schritt unerläßlich, die informelle Problemstellung in eine formale Problemspezifikation zu überführen. Dieser Prozeß, der die Vorstellung einer oder mehrerer Personen durch ein formales Modell beschreibt, ist eine schwierige intellektuelle Aufgabe, die auf absehbare Zeit im wesentlichen nicht automatisierbar sein wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1998 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Bündgen, R. (1998). Einleitung. In: Termersetzungssysteme. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-86846-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-322-86846-6_1
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05652-0
Online ISBN: 978-3-322-86846-6
eBook Packages: Springer Book Archive