登入選單
返回Google圖書搜尋
Design Patterns für mathematische Beweise
Hans Jürgen OhlbachNorbert Eisinger
其他書名
Ein Leitfaden insbesondere für Informatiker
出版Springer-Verlag, 2017-09-04
主題Mathematics / AppliedComputers / Computer ScienceComputers / Programming / AlgorithmsMathematics / Algebra / GeneralMathematics / Discrete MathematicsMathematics / General
ISBN36625565299783662556528
URLhttp://books.google.com.hk/books?id=DBk0DwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋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.