Wie man es beweist: Ein strukturierter Ansatz Von Daniel J. Velleman ist ein englischsprachiges Lehrbuch, das Studierenden dabei hilft, vom Problemlösen zum Schreiben von Beweisen überzugehen. Dieses Buch behandelt fortgeschrittene Mathematik und theoretische Informatik, indem es die Techniken und die Sprache der Logik und der Mengenlehre klar erläutert.
Die dritte Ausgabe enthält ein neues Kapitel über Zahlentheorie und über 150 zusätzliche Übungen. Das Buch beginnt mit den Grundlagen der Logik und der Mengenlehre und führt dann Schritt für Schritt durch komplexe Beweistechniken mithilfe von Beispielen und „scratch work“. Dadurch wird die wesentliche Rolle von Beweisen in der Mathematik und den Computerwissenschaften hervorgehoben.
How to Prove It ist ein zugängliches Nachschlagewerk für Studierende und Fachleute, die ihr Wissen in formalen Beweismethoden vertiefen möchten. Inhaltlich passt es gut zu Themen wie mathematischer Logik, Mengenlehre und Logik innerhalb der Mathematik.