Kanıt Nasıl Yapılır Bir Yapısal Yaklaşım

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.

Ürün Adı: Kanıt Nasıl Yapılır Bir Yapısal Yaklaşım
Ürün Kodu: 9786055829032
Yazar: Daniel J. Welleman
Basım Yılı: 2008
Kapak Türü: Karton Kapak
Sayfa Sayısı: 384
Kağıt Cinsi: 1. Hm. Kağıt
Çevirmen: Prof. Dr. Mehmet Terziler Doç. Dr. Tahsin Öner