9783662556511 - Design Patterns für mathematische Beweise - Hans Jürgen Ohlbach Norbert Eisinger Kartoniert (TB)

EAN: 9783662556511

Produktdaten aktualisiert am: 15.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: -

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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783662556511
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>