Genel Ortam Kirlenmesi

Kanitlarin anlamli bir rol oynadigi bir matematik dersini ilk kez alan ögrencilerin çogu zorluklarla karsilasir. Velleman'in basarili kitabinin bu yeni baskisi kanitlari anlamak ve yazmak için gerekli teknikleri ögreterek ögrencileri, problem çözümden teorem kanitlama geçisine hazirlayacaktir.Kitap ögrencileri matemetik diline ve dilin nasil yorumlandigina alistirmak için lojik ve kümeler kuraminin temel kavramlariyla baslar. Bu kavramlar kanitlar olusturulurken yararlanilan en önemli tekniklerin adim adim incelenmesi için temel olarak kullanilir. Yazar dogal sayilar, bagintilar, fonksiyonlar ve sonsuz kümeler için kanit mekanizmasini gözler önüne sergilemek amaciyla ayrintili "taslak çalisma" kelimesini kullanarak daha küçük adimlardan karmasik kanitlarin nasil olusturuldugunu gösteriyor. Ögrencilere kendi kanitlarini olusturma olanagi tanimak için bu yeni baski 200 den fazla yeni alistirma, seçilmis çözümler ve Proof Desinger yazilimina bir girisi içeriyor. Standart lise matematigi disinda hiçbir alt yapiya gerek duyulmamistir. Bu kitap lojik ve kanitlara ilgi duyan herkese: bilgisayar bilimcilere, felsefecilere, dilbilimcilere ve elbette matematikçilere yararli olacaktir.