Tüketerek tanıtlama: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok |
Değişiklik özeti yok |
||
1. satır:
'''Tüketerek tanıtlama''' veya '''kaba kuvvet yöntemi''' ya da '''durum çözümlemesi''' olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir [[matematiksel tanıt]] yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:
* Durumların sonlu sayıda olduğunu gösteren bir tanıt verilir; yani tanıtlanacak olan önermenin her gerçeklemesinin durumlardan en az birinin koşullarına uyduğunu göstermek.
* Durumlardan her birini tanıtlamak.
Bunun aksine Eski Yunan bilginlerinden [[Eudoxus of Cnidus]]'un '''[[tüketme yöntemi (tanıtlama)]]''' yöntemi matematiksel [[limit]]leri geometrik ve esas olarak özenli bir şekilde hesaplama yöntemiydi.
==Örnek==
Her [[Küp (aritmetik)|küp]] sayısı 9'un katı ya da 9'un katının 1 eksiği ya da 1 fazlasıdır.
Satır 31 ⟶ 30:
[[Kategori:Tanıtlar]]
| |||