ispat teknikleri
-
matematiksel önermelerinin doğruluklarını (duruma göre de yanlışlıklarını) göstermek için kullanılan yöntemler kümesi.
(bkz: olmayana ergi)
(bkz: tümevarım)
(bkz: existential proof)
(bkz: constructive proof) -
en geçerlisi bir bilene sormak olan yöntemler bütünü.
-
(bkz: valla billa diyorum ya)
-
dogrudan ispat.misal geometride kabul ettin aksiyonları sonra basladın ispata.hepsi dogrudan ispatla yapılır hemen hemen.nadiren olmayana ergi de kullanılabilir tabii geometride ama son basvurulması gereken acı verici bir caredir bu.
-
uğraştıran tekniklerdir. uğraştırmayanı da önermenin doğru olmadığını ispat etme teknikleridir. mesela bir tane bile önermeye uymayan örnek bulabilirseniz o önerme yanlıştır. bu söylediklerim matematikle ilgilidir diğer bilim dalları için bir şey diyemiyorum. kısaca matematikte istisnalar kaideyi bozar tabi ayrıca belirtilmemişse.
-
proof by intimidation vardir bir de. "o kadar bariz ki ispata bile gerek yok" dersiniz, karsinizdaki anlamasa da "ben salagim herhalde" deyip susar, karsinizdakini intimidate ederek onermenizi kanitlamis olursunuz.
-
2' ye ayrılır.
1-(bkz: doğrudan ispat)
2-(bkz: dolaylı ispat)
dolaylı ispatta kendi arasında 2'ye ayrılır.
a- (bkz: olmayana ergi)
b- (bkz: çelişki bulma) -
(bkz: ahanda)
-
metodoloji : turk usulu yaklasım
teknik : yeminlen, valla, iki gozum onume aksın, cok samimi soyluyorum
bonus : ya sen niye inanmıyorsun bana
* -
proof by contrapositive ile proof by contradiction kimi zaman karıştırılır.
ispatlamaya çalıştığımız önerme p => q olsun.
proof by contradiction yönteminde, p'nin doğru ve q'nun yanlış olduğu varsayılıp, bir çelişki bulunur.
proof by contrapositive yönteminde ise, q'nun yanlış olduğu varsayılıp, p'nin de yanlış olduğu gösterilmeye çalışılır.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap