Kanıtların anlamlı bir rol oynadığı bir matematik dersini ilk kez alan öğrencilerin çoğu zorluklarla karşılaşır. 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çisine hazırlayacaktır.Kitap öğrencileri matemetik diline ve dilin nasıl yorumlandığına alıştırmak için lojik ve kümeler kuramının temel kavramlarıyla başlar. Bu kavramlar kanıtlar oluşturulurken yararlanılan en önemli tekniklerin adım adım incelenmesi için temel olarak kullanılır. Yazar doğal sayılar, bağıntı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 Desinger yazılımına bir girişi 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.
Lise hayatında sadece geometri dersinde -ki onda da ezbere dayalı- ispatla karşılaşmış kişiler başta olmak üzere matematikteki ispat kavramını anlamak isteyen ve bunu anlamlı bir şekilde yapmak isteyenler için yazılmış bir kitap. Kesinlikle tavsiye ederim. Bu kitabın aslı Cambridge Üniversitesi Yayınları’ndan çıkmıştır. Bu kitabın çevrilmesi sayesinde birçok kişinin ispatla olan sorununu halledebilir hale geleceğine inanıyorum. Kitap, ayrıca bilinen temel matematik konularına (tümevarım, sonsuz kümeler, bağıntı, vb.) da farklı bir bakış açısı ile yaklaşmanızı sağlayacaktır.
Kitap Yorumları - (4 Yorum)
Harika bir kitap. Çok üst düzey değil.
matematiğe iyi bir başlangıç için ideal.
Harika bir kitap. Ayrıca fazla altyapıya gerek yok. Yeni şeyler öğreneceğinize eminim.
Lise hayatında sadece geometri dersinde -ki onda da ezbere dayalı- ispatla karşılaşmış kişiler başta olmak üzere matematikteki ispat kavramını anlamak isteyen ve bunu anlamlı bir şekilde yapmak isteyenler için yazılmış bir kitap. Kesinlikle tavsiye ederim. Bu kitabın aslı Cambridge Üniversitesi Yayınları’ndan çıkmıştır. Bu kitabın çevrilmesi sayesinde birçok kişinin ispatla olan sorununu halledebilir hale geleceğine inanıyorum. Kitap, ayrıca bilinen temel matematik konularına (tümevarım, sonsuz kümeler, bağıntı, vb.) da farklı bir bakış açısı ile yaklaşmanızı sağlayacaktır.