How to Prove It

Daniel J. Velleman, matematiksel mantık ve matematik eğitimi alanında çalışmaları bulunan; özellikle lisans düzeyi öğrenciler için kanıt yazma becerisini geliştirmeye odaklanan eserleriyle tanınan bir matematikçidir.

Velleman, kanıtın ne olduğunu ve “doğru kanıt” ile “ikna edici ama hatalı akıl yürütme” arasındaki farkı adım adım kurar. Önermeler mantığı, niceleyiciler ve temel çıkarım şemalarıyla başlar; ardından kümeler, ilişkiler ve fonksiyonlar üzerinde kanıt örüntülerini uygular. İspat tekniklerini (doğrudan ispat, çelişki, karşıt-önermeyle ispat, varlık/tekillik ispatları vb.) bol örnek ve alıştırmayla pekiştirir. Son bölümler, sayılabilirlik ve Cantor tarzı argümanlar gibi daha derin set kuramı fikirlerine bağlanır.