Kanıt Nasıl Yapılır

ç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çişine hazırlayacaktır.
kümeler kuramının temel kavramlarıyla başlar. Bu kavramlar kanıtlar oluşturulurken
Terziler
Öner
Kitap, öğrencileri matematik diline ve dilin nasıl yorumlandığına alıştırmak için lojik ve
Velleman
K
anıtların anlamlı bir rol oynadığı bir matematik dersini ilk kez alan öğrencilerin
Kanıt Nasıl Yapılır
Bir Yapısal Yaklaşım
İkinci Baskıdan Çeviri
yararlanılan en önemli tekniklerin adım adım incelenmesi için temel olarak kullanılır. Ya-
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.
İkinci Baskıdan
Çeviri
Türkçe İkinci Baskı
gözler önüne sergilemek amacıyla ayrıntılı “taslak çalışma” kelimesini kullanarak daha
Kanıt Nasıl Yapılır
zar doğal sayılar, bağıntılar, fonksiyonlar ve sonsuz kümeler için kanıt mekanizmasını
Çevirenler
Prof. Dr. Mehmet Terziler
Y. Doç. Dr. Tahsin Öner
ISBN 978-605-5829-03-2
e-mail: [email protected], [email protected]
http://www.palmeyayinevi.com
9
Daniel J. Velleman
786055 829032
PALME
YAYINCILIK
PALME YAYINCILIK