Norbert Eisinger & Hans Jurgen Ohlbach 
Design Patterns für mathematische Beweise [PDF ebook] 
Ein Leitfaden insbesondere fur Informatiker

Destek

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.

€30.59
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil Almanca ● Biçim PDF ● ISBN 9783662556528 ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2017 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6397260 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

48.763 Bu kategorideki e-kitaplar