Matematiksel tümevarım: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Katalitik: Taşınan Kategori:Tanıtlar -> Kategori:Matematiksel ispatlar |
Değişiklik özeti yok |
||
1. satır:
'''Matematiksel tümevarım''' bir önermenin, genellikle tüm [[doğal sayılar]] için ya da bazen sonsuz bir sıranın tüm elemanları için, doğru olduğunu göstermek üzere kullanılan bir [[matematiksel tanıt]]lama yöntemidir. [[Matematiksel mantık]] ve [[Bilgisayar Bilimi|bilgisayar bilimlerinde]] kullanılan daha genel bir tanıtlama biçimi değerlendirilebilen (hesaplanabilen) ifadelerin (dil için geçerli sözdizimlerinin) denk olduğunu gösterir. Buna [[yapısal tümevarım]] denir
Matematiksel tümevarımın en basit ve en sık kullanılan şekli bir önermenin tüm doğal sayılar ''n'' için doğru olduğunu gösterir ve iki adımda gerçekleştirilir:
9. satır:
# bir domino taşı devrildiğinde komşu taş da devriliyorsa, aynı şekilde dizilmiş olan ve sıranın devamı olan ''bütün'' domino taşlarının devrileceği sonucuna varılabilir.
Matematiksel tümevarım, kümeler için öngörülen [[İyi-sıralılık ilkesi]]ne denktir. OLCAY KÜÇÜKBAĞCI
{{matematik-taslak}}
| |||