Design Patterns Fur Mathematische Beweise : Ein Leitfaden Insbesondere Fur Informatiker Paperback / softback
by Hans Jurgen Ohlbach, Norbert Eisinger
Paperback / softback
Description
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion.
Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis?
Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.
Information
-
Item not Available
- Format:Paperback / softback
- Pages:184 pages, Bibliography; 2 Illustrations, black and white
- Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Publication Date:14/09/2017
- Category:
- ISBN:9783662556511
Information
-
Item not Available
- Format:Paperback / softback
- Pages:184 pages, Bibliography; 2 Illustrations, black and white
- Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Publication Date:14/09/2017
- Category:
- ISBN:9783662556511