Click Here to Download: https://ouo.io/0sDjfw Design Patterns für mathematische Beweise Ein Leitfaden insbesondere für Informatiker By: Hans Jürgen Ohlbach; Norbert Eisinger Publisher: Springer Vieweg Print ISBN: 9783662556511, 3662556510 eText ISBN: 9783662556528, 3662556529 Copyright year: 2017 Format: PDF Available from $ 24.99 USD SKU 9783662556528 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.
