Zusammenfassung
Die LeserInnen sollen mit der Problematik eines Korrektheitsbeweises von Algorithmen vertraut gemacht werden und die Begriffe ‘spezifikation’, ‘partielle Korrektheit’ und ‘totale Korrektheit’ verstehen lernen. Sie sollen nach Durcharbeitung des Kapitels in der Lage sein, vorgegebene Korrektheitsbeweise zu kommentieren, vor allem aber mit der grundsätzlichen Problematik vertraut sein: Um die Korrektheit eines Algorithmus untersuchen zu können, bedarf es einer klaren formalen Spezifikation, die als Ausgangspunkt für ein mathematisches Beweisverfahren dient. Das Durchprobieren eines Algorithmus mit einigen ausgewählten Eingabewerten kann niemals die Korrektheit eines Algorithmus sondern höchstens dessen Inkorrektheit (Finden eines Gegenbeispiels) beweisen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Janko, W.H. (1998). Die Korrektheit von imperativen Programmen. In: Informationswirtschaft 1. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58958-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-58958-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64812-3
Online ISBN: 978-3-642-58958-4
eBook Packages: Springer Book Archive