Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
Hans Jürgen Ohlbach, Norbert EisingerDieses 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.
年:
2017
版本:
1
出版商:
Springer Vieweg
語言:
german
頁數:
183
ISBN 10:
3662556529
ISBN 13:
9783662556528
文件:
PDF, 2.08 MB
IPFS:
,
german, 2017
因版權方投訴，本書無法下載
Beware of he who would deny you access to information, for in his heart he dreams himself your master
轉換文件
更多的搜索結果
其他特權 
