Genel bakış
Matematiksel tümevarım, doğal sayılarla dizinlenen önermelerin tümü için doğruluğu kanıtlamaya yarayan yöntemdir. Önce başlangıç durumu gösterilir, ardından önerme bir sayı için doğru kabul edilerek bir sonraki sayı için doğruluğu çıkarılır. [1]
TEMEL ÖZELLİKLER
Başlangıç ve tümevarım adımı birlikte, domino taşlarının art arda devrilmesine benzer mantıksal zincir kurar. Güçlü tümevarımda bir sonraki durum için önceki bütün durumlar varsayılır; iki yöntem eşdeğer kanıt gücüne sahiptir. Toplam formülleri, bölünebilme, özyinelemeli diziler ve algoritma doğruluğu sık kullanım alanlarıdır. [1]