Kanıt Nasıl Yapılır

Matematiğin derinliklerine adım atanlar için kanıtlar, çoğu zaman ilk karşılaşmada karmaşık ve anlaşılmaz gelebilir. Daniel J. Velleman’ın bu kapsamlı çalışması, öğrencileri adım adım kanıt yapma sürecine hazırlayarak matematiksel düşünme becerilerini geliştirmeyi hedefliyor. Mantık ve küme kuramının temel taşlarıyla başlayan kitap, bu kavramları kullanarak kanıt tekniklerinin nasıl inşa edildiğini açık ve sistemli bir dille anlatıyor. Yazar, doğal sayılardan fonksiyonlara, bağıntılardan sonsuz kümelere uzanan geniş bir yelpazede, kanıtların nasıl adım adım oluşturulduğunu somut örneklerle gösteriyor. Her bir konu, detaylı açıklamalar ve "taslak çalışma" yöntemiyle desteklenerek, karmaşık kanıtların bile basit parçalara ayrılabileceğini gözler önüne seriyor. Ayrıca, 200’den fazla yeni alıştırma, seçilmiş çözümler ve Proof Designer yazılımına giriş bölümüyle öğrencilerin kendi kanıtlarını oluşturma pratiği.