Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

این کتاب با الگوهای اثبات ساده مانند تمایز مورد، اثبات جهانی، اثبات ضمنی، الگوهای اثبات پیچیده مانند تضاد، اثبات تضاد، مورب و انواع مختلف استقرای کامل تا استقرای متقابل سروکار دارد. این پاسخ به سوالاتی از جمله اثبات تناقض چیست؟ یا ردیه؟ و ارتباط آنها با یکدیگر چگونه است؟ نویسندگان سعی می‌کنند با شفاف‌سازی الگوهای اثبات رایج و استفاده از مثال‌های قابل درک از زندگی روزمره، ریاضیات و علوم رایانه، چنین سؤالاتی را مورد بحث قرار دهند.

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.