Design Patterns fr mathematische Beweise

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollstndigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hngen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu errtern, indem sie verbreitete Beweismuster und anhand von allgemein verstndlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.