Design Patterns fur mathematische Beweise : Ein Leitfaden insbesondere fur Informatiker PDF
by Hans Jurgen Ohlbach, Norbert Eisinger
- Information
Description
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollstandigen Induktion bis hin zur transfiniten Induktion.
Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis?
Oder eine Widerlegung? Und wie hangen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erortern, indem sie verbreitete Beweismuster und anhand von allgemein verstandlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:04/09/2017
- Category:
- ISBN:9783662556528
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:04/09/2017
- Category:
- ISBN:9783662556528