Hans Jürgen Ohlbach,
Norbert Eisinger
Design Patterns für mathematische Beweise
Ein Leitfaden insbesondere für Informatiker
Paperback Duits 2017 9783662556511
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783662556511
Taal:Duits
Bindwijze:paperback
Uitgever:Springer Berlin Heidelberg
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
I: Einfache und komplexe Beweismuster.- Einleitung.- Vorbereitung: Arten des Schließens.- Vorbereitung: Schreibweisen der Logik.- Einfache Beweismuster.- Komplexe Beweismuster.- Vollständige Induktion.- II: Transfinite Ordinalzahlen und transfinite Induktion.- Einleitung.- Vollständige Induktion und Grenzwertbildung.- Transfinite Ordinalzahlen.- Transfinite Induktion.- Exkurs: mathematisches Arbeiten.- Anhang.- Literatur.- Index.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan