volkii 22:45 09 Eki 2011 #1
arkadaşlar merhaba,
hocam şöyle bir ödev sorusu verdi. ancak hiçbirşey bilmeyince sorulardan anlam çıkarmak oldukça zor oluyor. yardımlarınız bekliyorum. soru şu:
Matematiksel indüksiyonu (tüme varım), quantifier kullanarak ifade ve ispat ediniz.
soru bu kadar. eksiği fazlası yok. şimdiden çok teşekkür ederim
Serkan A. 23:10 09 Eki 2011 #2
Aradığın ispat
burada. Ayrıca quantifier, niceleyici demekmiş. Niceleme mantığıda
burada anlatılıyor. İkisini birden
buradan indiriniz.
volkii 23:37 09 Eki 2011 #3
hocam hızlı cevabınız için çok teşekkür ederim. yalnız benim kafama takılan birde şu var. ben bir teorem üzerinden mi gideceğim bu soruyu çözmek için. yani ortaya bir matematiksel bir eşitlik koyacağım. ve bunu ispat edeceğim.
örneğin:
1+2+3...+n = n.(n+1)/2 için bir sonucu doğru kabul edip(mesela n = k için), daha sonra (n = k+1) için sonucu bir öncekinin yerine koyup mu ispat edeceğim?
gereksizyorumcu 23:43 09 Eki 2011 #4
burada sizden tümevarım ilkesini ispat etmeniz istenmiş.
hocamızın verdiği dökümanı kendi anladığınız şekliyle yazabilirsiniz sanıyorum. quantifier dediği de her, bazı , hiçbiri , tümü gibi sıfatlar.
a dan büyük her sayı için sağlanıyorsa doğruluk kümesi şudur falan filan ...
sorunuzdan bunu anladım.
Diğer çözümlü sorular alttadır.