Zusammenfassung
Beweise zu führen ist das Kerngeschäft der Mathematik. In ihnen wird mit logischen Mitteln nachgewiesen, dass eine mathematische Aussage gültig ist. Es gibt verschiedene Stile, um mathematische Beweise aufzuschreiben. Früher, als die Formelsprache der Mathematik noch nicht oder noch nicht so weit wie heute entwickelt war, waren Beweise hauptsächlich Argumentationen in der Umgangssprache; ein Argumentieren, wie es sich aus der Philosophie entwickelt hat. Heutzutage sind mathematische Beweise in der Regel viel formaler,insbesondere dann, wenn sie durch Computerprogramme überprüft werden sollen. Auf den Gebrauch der Umgangssprache wird aber nicht völlig verzichtet, da umgangssprachliche Formulierungen die Verständlichkeit und Lesbarkeit oft sehr verbessern. In diesem Kapitel wollen wir die wichtigsten Beweistechniken vorstellen und anhand von ausgewählten Beispielen demonstrieren. Dabei gehen wir auch auf die den Beweistechniken zugrundeliegenden logischen Regeln ein.
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
Corresponding author
Rights and permissions
Copyright information
© 2021 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Berghammer, R. (2021). Mathematische Beweise. In: Mathematik für die Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-33304-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-658-33304-1_4
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-33303-4
Online ISBN: 978-3-658-33304-1
eBook Packages: Computer Science and Engineering (German Language)