✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 237.681 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Design Patterns für mathematische Beweise

Design Patterns für mathematische Beweise

von Hans Jürgen Ohlbach und Norbert Eisinger
Softcover - 9783662556511
37,99 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Ein Leitfaden insbesondere für Informatiker

Details

Verlag Springer Berlin
Ersterscheinung September 2017
Maße 24 cm x 16.8 cm
Gewicht 339 Gramm
Format Softcover
ISBN-13 9783662556511
Auflage 1. Aufl. 2017
Seiten 184