Kanıt Nasıl Yapılır_{Bir Yapısal Yaklaşım}

Kanıtların anlamlı bir rol oynadığı bir matematik dersini ilk kez alan öğrencilerin çoğu zorluklarla karşılaşırlar. Velleman'ın başarılı kitabının bu yeni baskısı kanıtları anlamak ve yazmak için gerekli teknikleri öğreterek öğrencileri, problem çözümden teorem kanıtlama geçişine hazırlayacaktır.

 

Kitap, öğrencileri matematik diline ve dilin nasıl yorumlandığına alıştırmak için lojik ve kümeler kuramın temel kavramlarıyla başlar. Bu kavramlar oluşturulurken yararlanılan en öneml tekniklerin adım adım incelenmedi için temel olarak kullanılır.

 

Yazar doğal sayılar, bağlantılar, fonksiyonlar ve sonsuz kümeler için kanıt mekanizmasını gözler önüne sergilemek amacıyla ayrıntılı "taslak çalışma" kelimesini kullanarak daha küçük adımlardan karmaşık kanıtların nasıl oluşturulduğunu gösteriyor.

 

Öğrencilere kendi kanıtlarını oluşturma olanağı tanımak için bu yeni baskı 200 den fazla yeni alıştırma, seçilmiş çözümler ve Proof Designer yazılımına bir giriş içeriyor.

 

Standart lise matematiği dışında hiç bir alt yapıya gerek duyulmamıştır. Bu kitap lojik ve kanıtlara ilgi duyan herkese: bilgisayar bilimcilere, felsefecilere, dilbilimcilere ve elbette matematikçilere yararlı olacaktır.

(Arka Kapak)

Türkçe (Orijinal Dili:İngilizce)