Matematiksel tümevarım: Revizyonlar arasındaki fark

Gerekçe: + vandalizm amaçlı değişiklik
k (Seçkin içerik şablonları kaldırılarak ilgili tanımlar Vikiveri'ye aktarıldı)
(Gerekçe: + vandalizm amaçlı değişiklik)
'''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:
# 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}}
 
[[Kategori:Matematiksel ispatlar|Tümevarım]]
 
{{Link KM|de}}
{{Link SM|he}}
1.266

düzenleme